# set pid = $$ echo pid = $pid echo $0 $* if( $#argv < 4 ) then echo "usage: `basename $0` host_name program_name inputfile ..." echo " run elfin" exit endif echo $1 $2 set host = $1 set program = $2 echo host = $host echo user = $user shift argv shift argv foreach inputfile ( $argv ) run $host $program $inputfile echo run $host $program $inputfile end