diff options
Diffstat (limited to 'sh')
| -rw-r--r-- | sh/shrc.d/gore.sh (renamed from sh/shrc.d/gress.sh) | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/sh/shrc.d/gress.sh b/sh/shrc.d/gore.sh index 483198b3..1df637bb 100644 --- a/sh/shrc.d/gress.sh +++ b/sh/shrc.d/gore.sh @@ -1,7 +1,6 @@ -# Pipe grep(1) output through PAGER; mostly to preserve grep colouring -# interactively through less(1), but it'll work fine with plain grep(1) and -# more(1) -gress() { +# Pipe grep(1) output through PAGER; mostly to preserve coloring interactively +# through less(1), but it'll work fine with plain grep(1) and more(1) +gore() { # Add --color=always if the terminal has at least 8 colors; we have to add # "always" to coax grep(1) into emitting colors even though it can tell its @@ -10,7 +9,7 @@ gress() { [ "$({ tput colors || tput Co ; } 2>/dev/null)" -ge 8 ] && set -- --color=always "$@" - # Run grep; it might be our function wrapper; that's OK + # Run whatever `grep` gives us; it might be our function wrapper; that's OK grep "$@" | # Run the appropriate pager; if it's less(1), we can tack on -R (though my |