Solution 0 1 2

From Wiki Max
Revision as of 12:01, 1 December 2020 by Daniele Varsano (talk | contribs) (Daniele Varsano moved page Solution 1 2 to Solution 0 1 2)
(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