changeset 11044 | 5873a05b4d21 |
parent 10555 | 2323ec838401 |
child 14981 | e73f8140af78 |
--- a/bin/isatool Sat Feb 03 15:20:55 2001 +0100 +++ b/bin/isatool Sat Feb 03 15:21:57 2001 +0100 @@ -38,7 +38,7 @@ for T in * do if [ -f "$T" -a -x "$T" ]; then - DESCRLINE=$(grep DESCRIPTION: "$T" | sed -e 's/^.*DESCRIPTION: *//') + DESCRLINE=$(fgrep DESCRIPTION: "$T" | sed -e 's/^.*DESCRIPTION: *//') echo " $T - $DESCRLINE" fi done