From: Ingo Ruhnke <grumbel@gmx.de>
Date: Sun, 4 May 2008 09:19:58 +0000 (+0000)
Subject: Switched from /bin/sh to /bin/bash (needed on Ubuntu and elsewhere)
X-Git-Url: https://git.verplant.org/?a=commitdiff_plain;h=ee81e10e09ab2025aee4da15bf8f394563a8f928;p=supertux.git

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 3975f214f..b7e5f38f7 100755
--- 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"