added color

This commit is contained in:
q
2014-03-17 19:10:12 +02:00
parent a31bf3bdca
commit a1303d2c04

View File

@@ -215,7 +215,10 @@ function igrep () {
while true while true
do read -e -i "$args" args do read -e -i "$args" args
echo $@ echo $@
grep $args "$@" grep --color=auto $args "$@"
if [ "$?" -ne 0 ]
then echo _no_matches_ | grep --color=auto ".*"
fi
done done
} }