#! /bin/csh -f # color-grep initialization set COLORS=/etc/GREP_COLORS if ( -e "$COLORS" ) then set color_none=`sed -n '/^COLOR.*none/Ip' < $COLORS` if ( "$color_none" != '' ) then unset color_none exit endif unset color_none endif alias grep 'grep --color=auto'