From 52604ccdc039e3ec36d8e71562657c5aecde05d1 Mon Sep 17 00:00:00 2001 From: tteckster Date: Mon, 25 Apr 2022 10:23:00 -0400 Subject: [PATCH] Update debian-install.sh --- setup/debian-install.sh | 20 +++++++++++++++++--- 1 file changed, 17 insertions(+), 3 deletions(-) diff --git a/setup/debian-install.sh b/setup/debian-install.sh index 8d4ae254..ec5d62e7 100644 --- a/setup/debian-install.sh +++ b/setup/debian-install.sh @@ -1,6 +1,4 @@ -#!/usr/bin/env bash -ex -set -euo pipefail -shopt -s inherit_errexit nullglob +#!/usr/bin/env bash YW=`echo "\033[33m"` RD=`echo "\033[01;31m"` BL=`echo "\033[36m"` @@ -13,6 +11,22 @@ CM="${GN}✓${CL}" CROSS="${RD}✗${CL}" BFR="\\r\\033[K" HOLD="-" +set -o errexit +set -o errtrace +set -o nounset +set -o pipefail +shopt -s expand_aliases +alias die='EXIT=$? LINE=$LINENO error_exit' +trap die ERR + +function error_exit() { + trap - ERR + local reason="Unknown failure occured." + local msg="${1:-$reason}" + local flag="${RD}‼ ERROR ${CL}$EXIT@$LINE" + echo -e "$flag $msg" 1>&2 + exit $EXIT +} function msg_info() { local msg="$1"