bashrc: `grep' hacking.

Firstly, introduce `zgrep' to the ranks of hacked greps.  Secondly, run
results of `grep' through a pager.

diff --git a/bashrc b/bashrc
index fd915843e30838333bba787dcff3ead5446caace..7f001414c84b17ef865c500c0854b0a9c3cd60cf 100644 (file)
--- a/bashrc
+++ b/bashrc
@@ -119,7 +119,7 @@ export GREP_COLORS="mt=01;31:ms=01;31:mc=031;31:fn=36:ln=36:bn=36:se=34"
 greplike () {
   declare grep=$1; shift
   if [ -t 1 ]; then
 greplike () {
   declare grep=$1; shift
   if [ -t 1 ]; then

-    command $grep ${GREP_COLORS+--color=auto} "$@"
+    command $grep ${GREP_COLORS+--color=always} "$@" | mdw-pager

   else
     command $grep "$@"
   fi
   else
     command $grep "$@"
   fi


@@ -127,6 +127,7 @@ greplike () {
 alias grep="greplike grep"
 alias egrep="greplike egrep"
 alias fgrep="greplike fgrep"
 alias grep="greplike grep"
 alias egrep="greplike egrep"
 alias fgrep="greplike fgrep"

+alias zgrep="greplike fgrep"

 
 # --- Set up some simple aliases ---
 
 
 # --- Set up some simple aliases ---