scripts/uninstall.py

branch
eric7
changeset 9381
3c9192161833
parent 9380
3d662dda80e8
child 9442
906485dcd210
child 9448
ea215f7afab3
--- 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):

eric ide

mercurial