|
@@ -6,29 +6,10 @@ RD=`echo "\033[01;31m"`
|
|
|
BL=`echo "\033[36m"`
|
|
|
GN=`echo "\033[1;92m"`
|
|
|
CL=`echo "\033[m"`
|
|
|
-RETRY_NUM=10
|
|
|
-RETRY_EVERY=3
|
|
|
-NUM=$RETRY_NUM
|
|
|
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"
|
|
|
echo -ne " ${HOLD} ${YW}${msg}..."
|