diff -r 3d662dda80e8 -r 3c9192161833 scripts/uninstall.py
--- a/scripts/uninstall.py Sun Oct 02 14:18:49 2022 +0200
+++ b/scripts/uninstall.py Sun Oct 02 14:46:21 2022 +0200
@@ -286,28 +286,32 @@
"""
if os.getuid() == 0:
for name in [
- "/usr/share/applications/eric7.desktop",
"/usr/share/appdata/eric7.appdata.xml",
"/usr/share/metainfo/eric7.appdata.xml",
"/usr/share/applications/eric7_browser.desktop",
+ "/usr/share/applications/eric7_ide.desktop",
+ "/usr/share/icons/eric.png",
+ "/usr/share/icons/ericWeb.png",
"/usr/share/pixmaps/eric.png",
"/usr/share/pixmaps/ericWeb.png",
- "/usr/share/icons/eric.png",
- "/usr/share/icons/ericWeb.png",
+ # obsolete entries below
+ "/usr/share/applications/eric7.desktop",
]:
if os.path.exists(name):
os.remove(name)
elif os.getuid() >= 1000:
# it is assumed that user ids start at 1000
for name in [
- "~/.local/share/applications/eric7.desktop",
"~/.local/share/appdata/eric7.appdata.xml",
"~/.local/share/metainfo/eric7.appdata.xml",
"~/.local/share/applications/eric7_browser.desktop",
+ "~/.local/share/applications/eric7_ide.desktop",
+ "~/.local/share/icons/eric.png",
+ "~/.local/share/icons/ericWeb.png",
"~/.local/share/pixmaps/eric.png",
"~/.local/share/pixmaps/ericWeb.png",
- "~/.local/share/icons/eric.png",
- "~/.local/share/icons/ericWeb.png",
+ # obsolete entries below
+ "~/.local/share/applications/eric7.desktop",
]:
path = os.path.expanduser(name)
if os.path.exists(path):
