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