diff -r 1acee0c15156 -r 1dc0a266d5f5 scripts/install.py
--- a/scripts/install.py Fri Oct 01 17:08:37 2021 +0200
+++ b/scripts/install.py Sun Oct 03 13:04:53 2021 +0200
@@ -939,6 +939,18 @@
shutilCopy(
os.path.join(eric6SourceDir, "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(eric6SourceDir, "pixmaps", "eric48_icon.png"),
+ os.path.join(dst, "eric.png"))
+ shutilCopy(
+ os.path.join(eric6SourceDir, "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):
@@ -948,6 +960,7 @@
copyDesktopFile(
os.path.join(sourceDir, "linux", "eric6_browser.desktop.in"),
os.path.join(dst, "eric6_browser.desktop"))
+
dst = os.path.normpath(
os.path.join(distDir, "usr/share/metainfo"))
if not os.path.exists(dst):
@@ -959,6 +972,9 @@
shutilCopy(
os.path.join(eric6SourceDir, "pixmaps", "eric_icon.png"),
"/usr/share/icons/eric.png")
+ shutilCopy(
+ os.path.join(eric6SourceDir, "pixmaps", "eric48_icon.png"),
+ "/usr/share/icons/hicolor/48x48/apps/eric.png")
copyDesktopFile(
os.path.join(sourceDir, "linux", "eric6.desktop.in"),
"/usr/share/applications/eric6.desktop")
@@ -973,6 +989,9 @@
shutilCopy(
os.path.join(eric6SourceDir, "pixmaps", "ericWeb48_icon.png"),
"/usr/share/icons/ericWeb.png")
+ shutilCopy(
+ os.path.join(eric6SourceDir, "pixmaps", "ericWeb48_icon.png"),
+ "/usr/share/icons/hicolor/48x48/apps/ericWeb.png")
copyDesktopFile(
os.path.join(sourceDir, "linux", "eric6_browser.desktop.in"),
"/usr/share/applications/eric6_browser.desktop")
@@ -982,14 +1001,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(eric6SourceDir, "pixmaps", "eric_icon.png"),
os.path.join(localPath, "icons", "eric.png"))
+ shutilCopy(
+ os.path.join(eric6SourceDir, "pixmaps", "eric48_icon.png"),
+ os.path.join(localPath, "icons/hicolor/48x48/apps", "eric.png"))
copyDesktopFile(
os.path.join(sourceDir, "linux", "eric6.desktop.in"),
os.path.join(localPath, "applications", "eric6.desktop"))
@@ -1002,6 +1024,9 @@
shutilCopy(
os.path.join(eric6SourceDir, "pixmaps", "ericWeb48_icon.png"),
os.path.join(localPath, "icons", "ericWeb.png"))
+ shutilCopy(
+ os.path.join(eric6SourceDir, "pixmaps", "ericWeb48_icon.png"),
+ os.path.join(localPath, "icons/hicolor/48x48/apps", "ericWeb.png"))
copyDesktopFile(
os.path.join(sourceDir, "linux", "eric6_browser.desktop.in"),
os.path.join(localPath, "applications", "eric6_browser.desktop"))
