From c4bb51d0db8e4dd72a6a0683406eec454b554a74 Mon Sep 17 00:00:00 2001 From: darealshinji Date: Sun, 30 Nov 2014 13:36:56 +0100 Subject: [PATCH] add a help command line option --- usr/bin/mintmenu | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/usr/bin/mintmenu b/usr/bin/mintmenu index 81d7a0a..95ec494 100755 --- a/usr/bin/mintmenu +++ b/usr/bin/mintmenu @@ -3,7 +3,12 @@ import sys, os if len(sys.argv) > 1: - if (sys.argv[1] in ["clean", "clear", "reset", "--clean", "--clear", "--reset"]): + if (sys.argv[1] in ["help", "h", "-?", "--help", "-h", "?"]): + print "mintMenu - the advanced MATE menu\n" + print "options:" + print " [--]help, [-]h Display this help." + print " [--]clean, [--]clear, [--]reset Restore settings to default.\n" + elif (sys.argv[1] in ["clean", "clear", "reset", "--clean", "--clear", "--reset"]): os.system("gsettings reset-recursively com.linuxmint.mintmenu") os.system("gsettings reset-recursively com.linuxmint.mintmenu.plugins.places") os.system("gsettings reset-recursively com.linuxmint.mintmenu.plugins.applications")