From 78dc8583969a046b51ef4f099b1d182f73dcaa12 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marc=20Cornell=C3=A0?= <marc.cornella@live.com>
Date: Wed, 21 Oct 2015 10:36:40 +0200
Subject: [PATCH] Revert "Make install script safer"

This reverts commit c9d93757e82785a0fd1e0d1222f5d61e01849703, which
makes it fail with a syntax error:

  sh: 1: Syntax error: "(" unexpected
---
 tools/install.sh | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/tools/install.sh b/tools/install.sh
index e65905025..be43968bc 100755
--- a/tools/install.sh
+++ b/tools/install.sh
@@ -1,4 +1,3 @@
-function main() {
 # Use colors, but only if connected to a terminal, and that terminal
 # supports them.
 if which tput >/dev/null 2>&1; then
@@ -117,6 +116,3 @@ echo 'p.p.s. Get stickers and t-shirts at http://shop.planetargon.com.'
 echo ''
 printf "${NORMAL}"
 env zsh
-}
-
-main