bashrc: Provide colour support for GNU grep.

This is much more useful than it sounds.

diff --git a/bashrc b/bashrc
index 6759da7..3197bae 100644 (file)
--- a/bashrc
+++ b/bashrc
@@ -112,6 +112,18 @@ ls () {
   fi
 }
 
+# --- Some colour `grep' support ---
+
+export GREP_COLORS="mt=01;31:ms=01;31:mc=031;31:fn=36:ln=36:bn=36:se=34"
+
+grep () {
+  if [ -t 1 ]; then
+    command grep ${GREP_COLORS+--color=auto} "$@"
+  else
+    command grep "$@"
+  fi
+}
+
 # --- Set up some simple aliases ---
 
 alias cx='chmod a+x'