#! /bin/csh -f # Last edited on 2001-11-30 02:18:44 by stolfi set usage = "$0 IMGLIST" # Fires up a "xv" for each standard image set listed in the given IMGLIST # (one image set per line). Pauses periodically, waiting for the user's # go-ahead. if ( $#argv != 1 ) then echo "usage: ${usage}"; exit 1 endif set imglist = "$1"; shift; @ n = 10 foreach f ( `cat ${imglist} | sed -e 's/#.*$//g'` ) @ n = $n - 1 ( cd $f && xv -name $f p.gif p-icon.gif p-raw.ppm.Z p.ppm.Z p-*x*.gif & ) if ( $n == 0 ) then xv ~/IMPORT/images/icons/signs/book-question.gif @ n = 10 endif end