Solution 0 1 2: Difference between revisions
Jump to navigation
Jump to search
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..." |
m Daniele Varsano moved page Solution 1 2 to Solution 0 1 2 |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
* Back to the previous page: [[Scripting#Exercises|Exercises]] | |||
#! /bin/bash -x | #! /bin/bash -x | ||
Latest revision as of 10:01, 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