Update gamuntu_setup.sh

This commit is contained in:
tteckster 2022-02-09 18:14:22 -05:00 committed by GitHub
parent 0040404a16
commit 97f2f6ab43
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -10,6 +10,7 @@ CROSS='\033[1;31m\xE2\x9D\x8C\033[0m'
CHECKMARK='\033[0;32m\xE2\x9C\x94\033[0m' CHECKMARK='\033[0;32m\xE2\x9C\x94\033[0m'
RETRY_NUM=5 RETRY_NUM=5
RETRY_EVERY=3 RETRY_EVERY=3
NUM=$RETRY_NUM
trap die ERR trap die ERR
trap 'die "Script interrupted."' INT trap 'die "Script interrupted."' INT