From 0ce2a603a347ac37b064b8ba2e0ab141add1367c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= <ligo@suzanne.soy>
Date: Sun, 9 Feb 2020 00:19:43 +0100
Subject: [PATCH] Fix "hanging sudo" bug.

---
 scripts/installer.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 mode change 100755 => 100644 scripts/installer.sh

diff --git a/scripts/installer.sh b/scripts/installer.sh
old mode 100755
new mode 100644
index c8623c6a7..ca7c17b83
--- a/scripts/installer.sh
+++ b/scripts/installer.sh
@@ -62,7 +62,7 @@ else
   #   &&     redirect the output of the wget download to the temporary file
   #   ) ||   clean up temporary file if any command in the previous block failed
 
-  wget "$url" -O - \
+  (wget "$url" -O - 2>/dev/null || echo "ERROR: wget $url failed.") \
   | sed -e "s/next/$version/g" \
   | sudo sh -c ' \
     ( \