diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2014-11-26 08:36:17 +0100 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2014-11-26 08:36:17 +0100 |
| commit | 620e0db443001d4f7ea594ca54f85fae45726ea1 (patch) | |
| tree | 3d1ed19892a5bf8ca55be145ea052c3c6326014a | |
| parent | 0ff9f57850df1a9db6c45f40d9752692d06a8f4b (diff) | |
| download | bin-620e0db443001d4f7ea594ca54f85fae45726ea1.zip bin-620e0db443001d4f7ea594ca54f85fae45726ea1.tar.gz | |
bashrc: GREP_OPTIONS is dead
| -rw-r--r-- | bashrc | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -77,9 +77,6 @@ LIBS=/var/lib LOCALGIT=${HOME_}/usr/git LOCALLIB=${HOME_}/lib -# GREP -export GREP_OPTIONS=--color - # GIT # export GIT_PAGER=cat # export GIT_BASE=${LOCALGIT} |