Merge pull request #4515 from brianloveswords/safer-install-script

Make install script safer
2015-10-20 22:47:02 +02:00 · 2015-10-20 22:47:02 +02:00 · 662bdcc8d8
commit 662bdcc8d8
parent a7b4c09373 c9d93757e8
1 changed files with 4 additions and 0 deletions
--- a/tools/install.sh
+++ b/tools/install.sh
@ -1,3 +1,4 @@
+function main() {
 # Use colors, but only if connected to a terminal, and that terminal
 # supports them.
 tput=$(which tput)
@ -117,3 +118,6 @@ echo 'p.p.s. Get stickers and t-shirts at http://shop.planetargon.com.'
 echo ''
 printf "${NORMAL}"
 env zsh
+}
+
+main