File indexing completed on 2024-04-21 05:01:51
0001 #!/bin/sh 0002 0003 fail=0 0004 0005 if grep -n ' $' "$@" 0006 then 0007 echo "^^^ The above files contain unwanted trailing spaces" 0008 fail=1 0009 fi 0010 0011 if grep -n ' ' "$@" 0012 then 0013 echo "^^^ The above files contain tabs" 0014 fail=1 0015 fi 0016 0017 exit $fail