2011-02-27 10:13:57 -05:00
|
|
|
if [[ "$DISABLE_COLOR" != "true" ]]; then
|
2011-05-30 18:39:04 -04:00
|
|
|
export GREP_OPTIONS='--color=auto'
|
|
|
|
export GREP_COLOR='37;45'
|
|
|
|
else
|
|
|
|
export GREP_OPTIONS='--color=none'
|
|
|
|
export GREP_COLOR=''
|
2011-02-27 10:13:57 -05:00
|
|
|
fi
|
2011-05-30 18:39:04 -04:00
|
|
|
|