marking/mark01a
changeset 122 40147ad17bdf
parent 83 2dbab2e6a3ba
equal deleted inserted replaced
121:1946e3f773a0 122:40147ad17bdf
     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