diff options
| author | Evgeny Zinoviev <me@ch1p.io> | 2022-07-11 03:02:06 +0300 |
|---|---|---|
| committer | Evgeny Zinoviev <me@ch1p.io> | 2022-07-11 03:02:06 +0300 |
| commit | 2e4ee8694fb829acc2b57b4c95da40f7b773b0cb (patch) | |
| tree | 295e731904386113d4a5e8fc896a27006f8d7110 | |
| parent | 864e73cdc75a2fb0e4fad500f649dae2343c10a8 (diff) | |
deploy.sh: add missing die() function
| -rwxr-xr-x | deploy/deploy.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/deploy/deploy.sh b/deploy/deploy.sh index 7ef28a3..95ff314 100755 --- a/deploy/deploy.sh +++ b/deploy/deploy.sh @@ -1,5 +1,10 @@ #!/bin/bash +die() { + >&2 echo "error: $@" + exit 1 +} + set -e DIR="$( cd "$( dirname "$(readlink -f "${BASH_SOURCE[0]}")" )" && pwd )" |