Revert "Make install script safer"
This reverts commit c9d93757e82785a0fd1e0d1222f5d61e01849703, which
makes it fail with a syntax error:
sh: 1: Syntax error: "(" unexpected
Diff
1diff --git a/tools/install.sh b/tools/install.sh
2index e659050257e50e49d14b1c7f64b0e0d4cae1c4ab..be43968bce1dcf9ece4daa28324b0695009bfa4c 100755
3--- a/tools/install.sh
4+++ b/tools/install.sh
5@@ -1,4 +1,3 @@
6-function main() {
7 # Use colors, but only if connected to a terminal, and that terminal
8 # supports them.
9 if which tput >/dev/null 2>&1; then
10@@ -117,6 +116,3 @@ 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