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..." |
No edit summary |
||
| Line 1: | Line 1: | ||
* Back to the previous page: [[Scripting#Exercises|Exercises]] | |||
#! /bin/bash -x | #! /bin/bash -x | ||
Revision as of 09:30, 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