Mirrors/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell synced 2024-11-15 09:27:38 +00:00
Code Issues Projects Releases Packages Wiki Activity

history.fish: colorize with fish_indent -d0

Browse source 
We don't need to alert the user about stripped sequences here.
This commit is contained in:
Aaron Gyes 2018-12-11 06:46:14 -08:00
parent d080182686
commit 7ebef0a396
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
share/functions/history.fish
View file

@ -104,7 +104,7 @@ function history --description "display or manipulate interactive command histor
set -q skip_indent[1] # --show-time=FORMAT set, arbitrary output may not be valid fish script set -q skip_indent[1] # --show-time=FORMAT set, arbitrary output may not be valid fish script
and builtin history search $search_mode $show_time $max_count $_flag_case_sensitive $_flag_reverse $_flag_null -- $argv | $pager and builtin history search $search_mode $show_time $max_count $_flag_case_sensitive $_flag_reverse $_flag_null -- $argv | $pager
or builtin history search $search_mode $show_time $max_count $_flag_case_sensitive $_flag_reverse $_flag_null -- $argv | fish_indent --ansi | $pager or builtin history search $search_mode $show_time $max_count $_flag_case_sensitive $_flag_reverse $_flag_null -- $argv | fish_indent -d0 --ansi | $pager
else else
builtin history search $search_mode $show_time $max_count $_flag_case_sensitive $_flag_reverse $_flag_null -- $argv builtin history search $search_mode $show_time $max_count $_flag_case_sensitive $_flag_reverse $_flag_null -- $argv
end end