From 66dd6e02ac43b83742fc38b117725e5e92c34acc Mon Sep 17 00:00:00 2001 From: doktornotor Date: Fri, 21 Aug 2015 20:21:08 +0200 Subject: Delete shellcmd.php --- config/shellcmd/shellcmd.php | 179 ------------------------------------------- 1 file changed, 179 deletions(-) delete mode 100644 config/shellcmd/shellcmd.php diff --git a/config/shellcmd/shellcmd.php b/config/shellcmd/shellcmd.php deleted file mode 100644 index fd386910..00000000 --- a/config/shellcmd/shellcmd.php +++ /dev/null @@ -1,179 +0,0 @@ - - - - - -

Shellcmd: Settings

- -
- - -
- -
- - - - - -
- -
-"; -//print_info_box_np("This is an info box."); -//echo"
"; -//endif; - -?> - - - - -

- The shellcmd utility is used to manage commands on system startup. -

- -

-
- - - - - - - - - - 0) { - foreach ($$category_config as $ent) { - // previous versions of shellcmd stored the command in an additional -xmltag, this unnests this for backwards compatibility - if (is_array($ent)) { $ent = $ent['command']; } - - echo " \n"; - echo " \n"; - echo " \n"; - echo " \n"; - echo " "; - $i++; - } - } - } - - -?> - - - - - - - - - - - -
CommandType - - - - - - -
- -
\n"; - echo " ".$ent."\n"; - echo " \n"; - echo " ".$category."\n"; - echo " \n"; - echo " \n"; - echo " \n"; - echo " \n"; - echo " \n"; - echo " \n"; - echo "
\n"; - echo "
- - - - - -
-
- -
- - -
-
-
-
-
-
-
-
- -
- -
- - - - - -- cgit v1.2.3