#! /bin/csh -f # Last edited on 1999-05-19 07:03:53 by stolfi set usage = "$0 [ -scores ] GRAPH PROG" # displays the ".eps" output files for the "Programmed" # drawing of the given graph. set scores = 0 while ( ( $#argv >= 1 ) && ( "/$1" =~ /-* ) ) if ( ( $#argv >= 1 ) && ( "/$1" == "-scores" ) ) then set scores = 1; shift; else echo "usage: ${usage}"; exit 1 endif end if ( $#argv != 2 ) then echo "usage = ${usage}"; exit 1 endif set graph = "$1"; shift; set prog = "$1"; shift; if ( $#argv != 0 ) then echo "usage: ${usage}"; exit 1 endif set dir = "${graph}-${prog}-f" foreach f ( ${dir}/????.eps ) echo $f printf '--------------------------------\n' cat ${f:r}.his printf '--------------------------------\n' ghostview $f end if ( $scores ) then foreach f ( ${dir}/score-?.eps ) echo $f ghostview $f end endif