From ee81e10e09ab2025aee4da15bf8f394563a8f928 Mon Sep 17 00:00:00 2001 From: Ingo Ruhnke Date: Sun, 4 May 2008 09:19:58 +0000 Subject: [PATCH] Switched from /bin/sh to /bin/bash (needed on Ubuntu and elsewhere) SVN-Revision: 5398 --- tools/upload_supertux_wiki.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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" -- 2.11.0