Solution 0 1 2: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
m Daniele Varsano moved page Solution 2 to Solution 1 2 |
(No difference)
| |
Revision as of 10:00, 1 December 2020
- Back to the previous page: Exercises
#! /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