diff options
author | nachoparker <nacho@ownyourbits.com> | 2017-05-28 13:15:45 +0300 |
---|---|---|
committer | nachoparker <nacho@ownyourbits.com> | 2017-05-28 13:15:50 +0300 |
commit | eb438ed3957637463163d061c01f0d7081ebbc1a (patch) | |
tree | 4956b4c9925ec0bfd510491e5d5bb70c833b706d | |
parent | dd01b6427f5cad5ffbe7f149af78c2e7a3fdf100 (diff) |
also ask to press a key if script fails, to see failed outputv0.12.11
-rwxr-xr-x | etc/library.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/library.sh b/etc/library.sh index ebba330b..d623b1db 100755 --- a/etc/library.sh +++ b/etc/library.sh @@ -236,6 +236,7 @@ function configure_script() echo -e "Launching \e[1m$( basename $SCRIPT .sh )\e[0m" set +x configure + return 0 ) } |