bin/isatool
changeset 11044 5873a05b4d21
parent 10555 2323ec838401
child 14981 e73f8140af78
equal deleted inserted replaced
11043:2e3bbac8763b 11044:5873a05b4d21
    36       cd "$DIR"
    36       cd "$DIR"
    37       echo
    37       echo
    38       for T in *
    38       for T in *
    39       do
    39       do
    40         if [ -f "$T" -a -x "$T" ]; then
    40         if [ -f "$T" -a -x "$T" ]; then
    41           DESCRLINE=$(grep DESCRIPTION: "$T" | sed -e 's/^.*DESCRIPTION: *//')
    41           DESCRLINE=$(fgrep DESCRIPTION: "$T" | sed -e 's/^.*DESCRIPTION: *//')
    42           echo "    $T - $DESCRLINE"
    42           echo "    $T - $DESCRLINE"
    43         fi
    43         fi
    44       done
    44       done
    45     done
    45     done
    46     IFS="$ORIG_IFS"
    46     IFS="$ORIG_IFS"