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