Skip to content

Commit

Permalink
also ask to press a key if script fails, to see failed output
Browse files Browse the repository at this point in the history
  • Loading branch information
nachoparker committed May 28, 2017
1 parent dd01b64 commit eb438ed
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions etc/library.sh
Original file line number Diff line number Diff line change
Expand Up @@ -236,6 +236,7 @@ function configure_script()
echo -e "Launching \e[1m$( basename $SCRIPT .sh )\e[0m"
set +x
configure
return 0
)
}

Expand Down

0 comments on commit eb438ed

Please sign in to comment.