--- a/pre_marking1/mk Mon Nov 30 12:58:37 2020 +0000 +++ b/pre_marking1/mk Wed Dec 02 01:15:14 2020 +0000 @@ -1,5 +1,5 @@ -#!/bin/sh -###set -e +#!/bin/bash +set -euo pipefail trap "exit" INT