1#!/bin/csh 2 3if( $#argv < 2 )then 4 echo "Usage: gmovie pnmfile pnmfile ..." 5 echo "Makes a GIF movie from a bunch of PNM files" 6 echo "Output file is called gmovie.gif" 7 echo "N.B.: colors are picked from file gmovie.ppmap" 8 exit 0 9endif 10 11set glist = ( ) 12foreach fff ( $argv ) 13 ppmtogif -map gmovie.ppmap $fff > ${fff}.gif 14 set glist = ( $glist ${fff}.gif ) 15end 16 17# Units of time are centi-seconds (why? I don't know) 18 19whirlgif -loop 1 -time 20 $glist > gmovie.gif 20/bin/rm -f $glist 21