Solution 0 1 2
#! /bin/bash -x filein=$1 if [ -z "$filein" ] ; then echo "ERROR: filein needed"; exit 1 ; fi if [ ! -e "$filein" ] ; then echo "ERROR: filein not found"; exit 1 ; fi # bindir=/usr/local/bin # fileout="`echo $filein | sed 's/\.in//' `".out # $bindir/pw.x < $filein > $fileout exit 0