Tree - rpms/grep - CentOS Git server

Blob History Raw

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