2015-06-26 01:36:36 +01:00
|
|
|
#!/usr/bin/python2
|
2009-07-27 11:45:34 +01:00
|
|
|
|
|
|
|
import sys, os
|
|
|
|
|
|
|
|
if len(sys.argv) > 1:
|
2014-11-30 12:36:56 +00:00
|
|
|
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"]):
|
2013-05-21 10:39:22 +01:00
|
|
|
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")
|
|
|
|
os.system("gsettings reset-recursively com.linuxmint.mintmenu.plugins.recent")
|
|
|
|
os.system("gsettings reset-recursively com.linuxmint.mintmenu.plugins.system_management")
|
2010-09-13 13:56:46 +01:00
|
|
|
os.system("rm -rf ~/.linuxmint/mintMenu")
|
|
|
|
print "All mintMenu settings are now restored to default"
|
2009-07-27 11:45:34 +01:00
|
|
|
else:
|
2013-03-01 16:56:54 +00:00
|
|
|
os.system("/usr/lib/linuxmint/mintMenu/mintMenu.py")
|