scripts/install.py

branch
eric7
changeset 8660
1848e8e4b380
parent 8656
8fbaa183c41e
child 8663
a925267d1545
--- a/scripts/install.py	Sat Oct 02 15:35:19 2021 +0200
+++ b/scripts/install.py	Sun Oct 03 13:06:20 2021 +0200
@@ -930,6 +930,18 @@
         shutilCopy(
             os.path.join(eric7SourceDir, "pixmaps", "ericWeb48_icon.png"),
             os.path.join(dst, "ericWeb.png"))
+        
+        dst = os.path.normpath(
+            os.path.join(distDir, "usr/share/icons/hicolor/48x48/apps"))
+        if not os.path.exists(dst):
+            os.makedirs(dst)
+        shutilCopy(
+            os.path.join(eric7SourceDir, "pixmaps", "eric48_icon.png"),
+            os.path.join(dst, "eric.png"))
+        shutilCopy(
+            os.path.join(eric7SourceDir, "pixmaps", "ericWeb48_icon.png"),
+            os.path.join(dst, "ericWeb.png"))
+        
         dst = os.path.normpath(
             os.path.join(distDir, "usr/share/applications"))
         if not os.path.exists(dst):
@@ -939,6 +951,7 @@
         copyDesktopFile(
             os.path.join(sourceDir, "linux", "eric7_browser.desktop.in"),
             os.path.join(dst, "eric7_browser.desktop"))
+        
         dst = os.path.normpath(
             os.path.join(distDir, "usr/share/metainfo"))
         if not os.path.exists(dst):
@@ -950,6 +963,9 @@
         shutilCopy(
             os.path.join(eric7SourceDir, "pixmaps", "eric_icon.png"),
             "/usr/share/icons/eric.png")
+        shutilCopy(
+            os.path.join(eric7SourceDir, "pixmaps", "eric48_icon.png"),
+            "/usr/share/icons/hicolor/48x48/apps/eric.png")
         copyDesktopFile(
             os.path.join(sourceDir, "linux", "eric7.desktop.in"),
             "/usr/share/applications/eric7.desktop")
@@ -964,6 +980,9 @@
         shutilCopy(
             os.path.join(eric7SourceDir, "pixmaps", "ericWeb48_icon.png"),
             "/usr/share/icons/ericWeb.png")
+        shutilCopy(
+            os.path.join(eric7SourceDir, "pixmaps", "ericWeb48_icon.png"),
+            "/usr/share/icons/hicolor/48x48/apps/ericWeb.png")
         copyDesktopFile(
             os.path.join(sourceDir, "linux", "eric7_browser.desktop.in"),
             "/usr/share/applications/eric7_browser.desktop")
@@ -973,14 +992,17 @@
                                  ".local", "share")
         # create directories first
         for directory in [os.path.join(localPath, name)
-                          for name in ("icons", "applications",
-                                       "metainfo", "appdata")]:
+                          for name in ("icons", "icons/hicolor/48x48/apps",
+                                       "applications", "metainfo", "appdata")]:
             if not os.path.isdir(directory):
                 os.makedirs(directory)
         # now copy the files
         shutilCopy(
             os.path.join(eric7SourceDir, "pixmaps", "eric_icon.png"),
             os.path.join(localPath, "icons", "eric.png"))
+        shutilCopy(
+            os.path.join(eric7SourceDir, "pixmaps", "eric48_icon.png"),
+            os.path.join(localPath, "icons/hicolor/48x48/apps", "eric.png"))
         copyDesktopFile(
             os.path.join(sourceDir, "linux", "eric7.desktop.in"),
             os.path.join(localPath, "applications", "eric7.desktop"))
@@ -993,6 +1015,9 @@
         shutilCopy(
             os.path.join(eric7SourceDir, "pixmaps", "ericWeb48_icon.png"),
             os.path.join(localPath, "icons", "ericWeb.png"))
+        shutilCopy(
+            os.path.join(eric7SourceDir, "pixmaps", "ericWeb48_icon.png"),
+            os.path.join(localPath, "icons/hicolor/48x48/apps", "ericWeb.png"))
         copyDesktopFile(
             os.path.join(sourceDir, "linux", "eric7_browser.desktop.in"),
             os.path.join(localPath, "applications",

eric ide

mercurial