`662bdcc8d8f86eb32e5cc7b516261cfeb9a9899a`

Author: Marc Cornellà <marc.cornella@live.com>
Committer: Marc Cornellà <marc.cornella@live.com>
Date: 2015-10-20 20:47 UTC

Message

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

Make install script safer

Diff

 1diff --git a/tools/install.sh b/tools/install.sh
 2index 67d341c7c23ca592ebf1195e50f7e7c53b57a566..dd9c4f842ffb4798313015becefd8781f93a4997 100755
 3--- a/tools/install.sh
 4+++ b/tools/install.sh
 5@@ -1,3 +1,4 @@
 6+function main() {
 7 # Use colors, but only if connected to a terminal, and that terminal
 8 # supports them.
 9 tput=$(which tput)
10@@ -117,3 +118,6 @@ echo 'p.p.s. Get stickers and t-shirts at http://shop.planetargon.com.'
11 echo ''
12 printf "${NORMAL}"
13 env zsh
14+}
15+
16+main