diff --git a/common/snigdhaos-libs/exec-terminal b/common/snigdhaos-libs/exec-terminal new file mode 100644 index 00000000..ad66c9bd --- /dev/null +++ b/common/snigdhaos-libs/exec-terminal @@ -0,0 +1,3 @@ +#!/bin/bash +set -e +