From 8dce60f49607bdfe08e8d99334f4131d07d30c14 Mon Sep 17 00:00:00 2001 From: petchema Date: Mon, 10 Dec 2012 07:27:51 +0100 Subject: [PATCH] Check that $TITLE matches script name (#1251) Otherwise bug reporting won't work (updated patch) --- PlayOnLinux_ScriptChecker/script_checker.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/PlayOnLinux_ScriptChecker/script_checker.sh b/PlayOnLinux_ScriptChecker/script_checker.sh index 7e02641..8b31a32 100755 --- a/PlayOnLinux_ScriptChecker/script_checker.sh +++ b/PlayOnLinux_ScriptChecker/script_checker.sh @@ -84,6 +84,9 @@ check_title() if [ "$ScriptChecker_Title" = "" ] then s_err 5 + elif [ "$ScriptChecker_Title" != "$(basename "$file")" ] + then + s_err 5 "\`$ScriptChecker_Title' doesn't match script name" else s_ok 5 "$ScriptChecker_Title" fi