#! /bin/csh -f # Last edited on 2003-11-04 01:55:41 by stolfi set usage = "$0 IMGLIST" # Fires up a "display" 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 && display -title "${f}/%f" \ p.png p-icon.png p-raw.ppm.Z p.ppm.Z \ p-*x*.png & \ ) if ( $n == 0 ) then display ~/IMPORT/images/icons/signs/book-question.png @ n = 10 endif end