99 global pyModDir |
99 global pyModDir |
100 |
100 |
101 # Remove the menu entry for Linux systems |
101 # Remove the menu entry for Linux systems |
102 if sys.platform.startswith("linux") and os.getuid() == 0: |
102 if sys.platform.startswith("linux") and os.getuid() == 0: |
103 for name in ["/usr/share/pixmaps/eric.png", |
103 for name in ["/usr/share/pixmaps/eric.png", |
104 "/usr/share/applications/eric6.desktop", |
104 "/usr/share/pixmaps/ericWeb.png"]: |
105 "/usr/share/appdata/eric6.appdata.xml", |
105 if os.path.exists(name): |
106 "/usr/share/pixmaps/ericWeb.png", |
106 os.remove(name) |
107 "/usr/share/applications/eric6_webbrowser.desktop"]: |
107 if includePythonVariant: |
|
108 marker = PythonMarkers[sys.version_info.major] |
|
109 else: |
|
110 marker = "" |
|
111 for name in ["/usr/share/applications/eric6" + marker + ".desktop", |
|
112 "/usr/share/appdata/eric6" + marker + ".appdata.xml", |
|
113 "/usr/share/applications/eric6_webbrowser" + marker + |
|
114 ".desktop"]: |
108 if os.path.exists(name): |
115 if os.path.exists(name): |
109 os.remove(name) |
116 os.remove(name) |
110 |
117 |
111 # Remove the wrapper scripts |
118 # Remove the wrapper scripts |
112 rem_wnames = [ |
119 rem_wnames = [ |