Fix #! line at start of script

gap-system · Apr 21, 2020 · 124b656 · 124b656
1 parent 81114bc
commit 124b656
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/etc/download.sh b/etc/download.sh
@@ -1,4 +1,4 @@
-#/bin/sh
+#!/bin/sh
 #
 # This script expects a single argument, which should be an URL pointing to a
 # file for download; it then tries to download that file, into a local file