Solution 0 1 2

From Wiki Max
Revision as of 09:22, 1 December 2020 by Daniele Varsano (talk | contribs) (Created page with " #! /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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


#! /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