2011-06-01 08:48:26 +02:00
|
|
|
if [[ "$DISABLE_COLOR" != 'true' ]]; then
|
|
|
|
if [[ -z "$GREP_OPTIONS" ]]; then
|
|
|
|
export GREP_OPTIONS='--color=auto'
|
|
|
|
fi
|
|
|
|
if [[ -z "$GREP_COLOR" ]]; then
|
|
|
|
export GREP_COLOR='37;45'
|
|
|
|
fi
|
2011-05-31 00:39:04 +02:00
|
|
|
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
|
|
|
|