Switched from /bin/sh to /bin/bash (needed on Ubuntu and elsewhere)

SVN-Revision: 5398

diff --git a/tools/upload_supertux_wiki.sh b/tools/upload_supertux_wiki.sh
index 3975f21..b7e5f38 100755 (executable)
--- a/tools/upload_supertux_wiki.sh
+++ b/tools/upload_supertux_wiki.sh
@@ -1,4 +1,4 @@
-#! /bin/sh
+#! /bin/bash
 
 # This is a little Shell Script that allows you to upload files to the
 # SuperTux MediaWiki. To use it to create a file ~/.supertux-wiki.sh
@@ -88,7 +88,8 @@ curl \
 
 echo "------------------------------------------------------------------------"
 
-links -dump $STEP2_FILE | sed "s/ *Views/## EOF ##/;/## EOF ##/q"
+# links -dump $STEP2_FILE | sed "s/ *Views/## EOF ##/;/## EOF ##/q"
+links -dump $STEP2_FILE
 
 rm -f "$STEP1_FILE" "$STEP2_FILE" "$COOKIES_FILE"