Solution 0 1 2 - Revision history

Daniele Varsano: Daniele Varsano moved page Solution 1 2 to Solution 0 1 2

2020-12-01T10:01:37Z

Daniele Varsano moved page Solution 1 2 to Solution 0 1 2

← Older revision	Revision as of 10:01, 1 December 2020
(No difference)

Daniele Varsano: Daniele Varsano moved page Solution 2 to Solution 1 2

2020-12-01T10:00:07Z

Daniele Varsano moved page Solution 2 to Solution 1 2

← Older revision	Revision as of 10:00, 1 December 2020
(No difference)

Daniele Varsano at 09:30, 1 December 2020

2020-12-01T09:30:39Z

← Older revision		Revision as of 09:30, 1 December 2020
Line 1:		Line 1:
			* Back to the previous page: [[Scripting#Exercises\|Exercises]]

	#! /bin/bash -x		#! /bin/bash -x

Daniele Varsano: 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..."

2020-12-01T09:22:02Z

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..."

New page

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