scripts/install.py

changeset 7806
b346755b09a1
parent 7804
1cbc27e34ec6
child 7807
5514ca6a62ca
--- a/scripts/install.py	Mon Oct 19 17:19:27 2020 +0200
+++ b/scripts/install.py	Mon Oct 19 20:02:01 2020 +0200
@@ -21,6 +21,7 @@
 import time
 import io
 import json
+import shlex
 
 # Define the globals.
 progName = None
@@ -1313,7 +1314,7 @@
         installInfo["sudo"] = False
     installInfo["user"] = os.getlogin()
     installInfo["exe"] = sys.executable
-    installInfo["argv"] = sys.argv[:]
+    installInfo["argv"] = " ".join(shlex.quote(a) for a in sys.argv[:])
     installInfo["eric"] = cfg["ericDir"]
     installInfo["virtualenv"] = installInfo["eric"].startswith(
         os.path.expanduser("~"))

eric ide

mercurial