2009-07-27 11:45:34 +01:00
|
|
|
#!/usr/bin/python
|
|
|
|
|
|
|
|
import sys, os
|
|
|
|
|
|
|
|
if len(sys.argv) > 1:
|
2010-09-13 13:56:46 +01:00
|
|
|
if (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")
|