marking/mark01a
changeset 122 90dd9c6162b3
parent 83 2dbab2e6a3ba
equal deleted inserted replaced
121:4fc05d4f0e01 122:90dd9c6162b3
     1 #!/bin/bash
     1 #!/bin/bash
     2 set -e
     2 
       
     3 # try this to make it fail safely
       
     4 set -eu -o pipefail -posix
       
     5 #set -e
     3 
     6 
     4 out=${1:-output}
     7 out=${1:-output}
     5 
     8 
     6 echo "" > $out
     9 echo "" > $out
     7 
    10