diff -r aecd5a8c958c -r 1682f3203ae5 scripts/install.py
--- a/scripts/install.py Sun Jan 21 13:00:42 2024 +0100
+++ b/scripts/install.py Sun Jan 21 15:38:51 2024 +0100
@@ -475,6 +475,7 @@
"eric7_hexeditor",
"eric7_iconeditor",
"eric7_ide",
+ "eric7_mpy",
"eric7_pdf",
"eric7_pip",
"eric7_plugininstall",
@@ -582,9 +583,12 @@
"/usr/share/metainfo/eric7.appdata.xml",
"/usr/share/applications/eric7_browser.desktop",
"/usr/share/applications/eric7_ide.desktop",
+ "/usr/share/applications/eric7_mpy.desktop",
"/usr/share/icons/eric.png",
+ "/usr/share/icons/ericMPy.png",
"/usr/share/icons/ericWeb.png",
"/usr/share/pixmaps/eric.png",
+ "/usr/share/pixmaps/ericMPy.png",
"/usr/share/pixmaps/ericWeb.png",
# obsolete entries below
"/usr/share/applications/eric7.desktop",
@@ -598,9 +602,12 @@
"~/.local/share/metainfo/eric7.appdata.xml",
"~/.local/share/applications/eric7_browser.desktop",
"~/.local/share/applications/eric7_ide.desktop",
+ "~/.local/share/applications/eric7_mpy.desktop",
"~/.local/share/icons/eric.png",
+ "~/.local/share/icons/ericMPy.png",
"~/.local/share/icons/ericWeb.png",
"~/.local/share/pixmaps/eric.png",
+ "~/.local/share/pixmaps/ericMPy.png",
"~/.local/share/pixmaps/ericWeb.png",
# obsolete entries below
"~/.local/share/applications/eric7.desktop",
@@ -719,6 +726,7 @@
"eric7_hexeditor",
"eric7_iconeditor",
"eric7_ide",
+ "eric7_mpy",
"eric7_pdf",
"eric7_pip",
"eric7_plugininstall",
@@ -951,8 +959,9 @@
if not os.path.exists(directory):
os.makedirs(directory)
+ # TODO: add MPy entry
dst = os.path.normpath(os.path.join(distDir, "usr/share/icons"))
- for icon in ("eric_icon.png", "ericWeb48_icon.png"):
+ for icon in ("eric_icon.png", "ericMPy48_icon.png", "ericWeb48_icon.png"):
shutilCopy(
os.path.join(eric7SourceDir, "pixmaps", icon),
os.path.join(dst, icon.replace("_icon", "").replace("48", "")),
@@ -961,14 +970,14 @@
dst = os.path.normpath(
os.path.join(distDir, "usr/share/icons/hicolor/48x48/apps")
)
- for icon in ("eric48_icon.png", "ericWeb48_icon.png"):
+ for icon in ("eric48_icon.png", "ericMPy48_icon.png", "ericWeb48_icon.png"):
shutilCopy(
os.path.join(eric7SourceDir, "pixmaps", icon),
os.path.join(dst, icon.replace("48_icon", "")),
)
dst = os.path.normpath(os.path.join(distDir, "usr/share/applications"))
- for desktop in ("eric7_ide", "eric7_browser"):
+ for desktop in ("eric7_ide", "eric7_browser", "eric7_mpy"):
copyDesktopFile(
os.path.join(dataSourceDir, desktop + ".desktop.in"),
os.path.join(dst, desktop + ".desktop"),
@@ -1008,6 +1017,20 @@
"/usr/share/appdata/eric7.appdata.xml",
)
+ # eric MicroPython meta data
+ shutilCopy(
+ os.path.join(eric7SourceDir, "pixmaps", "ericMPy48_icon.png"),
+ "/usr/share/icons/ericMPy.png",
+ )
+ shutilCopy(
+ os.path.join(eric7SourceDir, "pixmaps", "ericMPy48_icon.png"),
+ "/usr/share/icons/hicolor/48x48/apps/ericMPy.png",
+ )
+ copyDesktopFile(
+ os.path.join(dataSourceDir, "eric7_mpy.desktop.in"),
+ "/usr/share/applications/eric7_mpy.desktop",
+ )
+
# eric web browser meta data
shutilCopy(
os.path.join(eric7SourceDir, "pixmaps", "ericWeb48_icon.png"),
@@ -1061,6 +1084,21 @@
os.path.join(dataSourceDir, "eric7.appdata.xml.in"),
os.path.join(localPath, "appdata", "eric7.appdata.xml"),
)
+
+ # eric MicroPython meta data
+ shutilCopy(
+ os.path.join(eric7SourceDir, "pixmaps", "ericMPy48_icon.png"),
+ os.path.join(localPath, "icons", "ericMPy.png"),
+ )
+ shutilCopy(
+ os.path.join(eric7SourceDir, "pixmaps", "ericMPy48_icon.png"),
+ os.path.join(localPath, "icons/hicolor/48x48/apps", "ericMPy.png"),
+ )
+ copyDesktopFile(
+ os.path.join(dataSourceDir, "eric7_mpy.desktop.in"),
+ os.path.join(localPath, "applications", "eric7_mpy.desktop"),
+ )
+
# eric web browser meta data
shutilCopy(
os.path.join(eric7SourceDir, "pixmaps", "ericWeb48_icon.png"),
@@ -2080,6 +2118,11 @@
os.path.join(cfg["ericPixDir"], "eric7.ico"),
),
(
+ "eric7 MicroPython (Python {0}.{1}).lnk",
+ os.path.join(cfg["bindir"], "eric7_mpy.cmd"),
+ os.path.join(cfg["ericPixDir"], "ericMPy48.ico"),
+ ),
+ (
"eric7 Browser (Python {0}.{1}).lnk",
os.path.join(cfg["bindir"], "eric7_browser.cmd"),
os.path.join(cfg["ericPixDir"], "ericWeb48.ico"),
