From bf3f5761d2d29ac657c5612913b02497c9686e3b Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Mon, 22 Dec 2008 22:16:15 +0000
Subject: [PATCH] bashrc: Provide colour support for GNU grep.

This is much more useful than it sounds.
---
 bashrc | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/bashrc b/bashrc
index 6759da7..3197bae 100644
--- 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'
-- 
2.11.0