| author | wenzelm |
| Thu, 17 Apr 1997 10:30:57 +0200 | |
| changeset 2968 | 8ba30b031f31 |
| parent 2936 | bd33e7aae062 |
| child 3007 | e5efa177ee0c |
| permissions | -rwxr-xr-x |
| wenzelm@2333 | 1 |
#!/bin/bash -norc |
| wenzelm@2333 | 2 |
# |
| wenzelm@2333 | 3 |
# $Id$ |
| wenzelm@2333 | 4 |
# |
| wenzelm@2333 | 5 |
# DESCRIPTION: collect heap names from ISABELLE_PATH |
| wenzelm@2333 | 6 |
|
| wenzelm@2333 | 7 |
|
| wenzelm@2333 | 8 |
PRG=$(basename $0) |
| wenzelm@2333 | 9 |
|
| wenzelm@2333 | 10 |
function usage() |
| wenzelm@2333 | 11 |
{
|
| wenzelm@2333 | 12 |
echo |
| wenzelm@2333 | 13 |
echo "Usage: $PRG" |
| wenzelm@2333 | 14 |
echo |
| wenzelm@2333 | 15 |
echo " Collect heap file names from ISABELLE_PATH." |
| wenzelm@2333 | 16 |
echo |
| wenzelm@2333 | 17 |
exit 1 |
| wenzelm@2333 | 18 |
} |
| wenzelm@2333 | 19 |
|
| wenzelm@2333 | 20 |
|
| wenzelm@2333 | 21 |
## main |
| wenzelm@2333 | 22 |
|
| wenzelm@2333 | 23 |
[ $# -ne 0 ] && usage |
| wenzelm@2333 | 24 |
|
| wenzelm@2333 | 25 |
|
| wenzelm@2333 | 26 |
LOGICS="" |
| wenzelm@2333 | 27 |
|
| wenzelm@2333 | 28 |
for DIR in $(echo $ISABELLE_PATH | tr : " ") |
| wenzelm@2333 | 29 |
do |
| wenzelm@2968 | 30 |
for FILE in $DIR/* |
| wenzelm@2333 | 31 |
do |
| wenzelm@2333 | 32 |
if [ -f "$FILE" ]; then |
| wenzelm@2333 | 33 |
NAME=$(basename "$FILE") |
| wenzelm@2333 | 34 |
LOGICS="$LOGICS $NAME" |
| wenzelm@2333 | 35 |
fi |
| wenzelm@2333 | 36 |
done |
| wenzelm@2333 | 37 |
done |
| wenzelm@2333 | 38 |
|
| wenzelm@2936 | 39 |
echo $({ for L in $LOGICS; do echo $L; done; } | sort | uniq)
|