scripts/install.py

branch
eric7
changeset 9917
0160b2816f84
parent 9819
51822ebcb6de
child 9940
a57c188857e9
child 9986
2c571c1c7b0d
diff -r 211d05a7197f -r 0160b2816f84 scripts/install.py
--- a/scripts/install.py	Sat Mar 18 14:33:51 2023 +0100
+++ b/scripts/install.py	Sat Mar 18 14:34:34 2023 +0100
@@ -863,6 +863,11 @@
             ["*.xpm"],
         )
         copyTree(
+            os.path.join(eric7SourceDir, "MicroPython", "Tools"),
+            os.path.join(cfg["ericDir"], "MicroPython", "Tools"),
+            ["*.json"],
+        )
+        copyTree(
             os.path.join(eric7SourceDir, "UI", "data"),
             os.path.join(cfg["ericDir"], "UI", "data"),
             ["*.css"],

eric ide

mercurial