uninstall.py

changeset 146
afeb742e7148
parent 107
918a6be6f051
child 428
58405c24aa09
child 792
a13346916170
--- a/uninstall.py	Sun Mar 14 15:57:57 2010 +0000
+++ b/uninstall.py	Sat Mar 20 12:17:57 2010 +0000
@@ -62,6 +62,13 @@
     """
     global pyModDir
     
+    # Remove the menu entry for Linux systems
+    if sys.platform.startswith("linux"):
+        for name in ["/usr/share/pixmaps/eric.png", 
+                     "/usr/share/applications/eric5.desktop"]:
+            if os.path.exists(name):
+                os.remove(name)
+    
     # Remove the wrapper scripts
     rem_wnames = [
         "eric5-api", "eric5-compare",

eric ide

mercurial