diff -r e5bbf088b01d -r ff8e034662d6 uninstall.py
--- a/uninstall.py Tue Nov 18 19:03:48 2014 +0100
+++ b/uninstall.py Tue Nov 18 20:17:46 2014 +0100
@@ -101,10 +101,17 @@
# Remove the menu entry for Linux systems
if sys.platform.startswith("linux") and os.getuid() == 0:
for name in ["/usr/share/pixmaps/eric.png",
- "/usr/share/applications/eric6.desktop",
- "/usr/share/appdata/eric6.appdata.xml",
- "/usr/share/pixmaps/ericWeb.png",
- "/usr/share/applications/eric6_webbrowser.desktop"]:
+ "/usr/share/pixmaps/ericWeb.png"]:
+ if os.path.exists(name):
+ os.remove(name)
+ if includePythonVariant:
+ marker = PythonMarkers[sys.version_info.major]
+ else:
+ marker = ""
+ for name in ["/usr/share/applications/eric6" + marker + ".desktop",
+ "/usr/share/appdata/eric6" + marker + ".appdata.xml",
+ "/usr/share/applications/eric6_webbrowser" + marker +
+ ".desktop"]:
if os.path.exists(name):
os.remove(name)
