diff --git a/devenver.py b/devenver.py index 902a1d7..d3ddfd9 100644 --- a/devenver.py +++ b/devenver.py @@ -717,7 +717,7 @@ def run(user_app_list, # Write the devenv script with environment variables global devenv_script_buffer - devenv_script_buffer += "set PATH=\"%~dp0Symlinks\";%PATH%\n" + devenv_script_buffer += "set PATH=%~dp0Symlinks;%PATH%\n" devenv_script_name = "devenv.bat" if IS_WINDOWS else "devenv.sh" devenv_script_path = pathlib.Path(install_dir, devenv_script_name) diff --git a/devenver_manifest.py b/devenver_manifest.py index d06c504..fb5369f 100644 --- a/devenver_manifest.py +++ b/devenver_manifest.py @@ -129,8 +129,8 @@ def get_manifest(): } ], "add_to_devenv_script": [ - f"set PATH=\"%~dp0{label}\\{version}\\mingw64\\bin\";%PATH%", - f"set PATH=\"%~dp0{label}\\{version}\\usr\\bin\";%PATH%", + f"set PATH=%~dp0{label}\\{version}\\mingw64\\bin;%PATH%", + f"set PATH=%~dp0{label}\\{version}\\usr\\bin;%PATH%", ], } ], @@ -545,7 +545,7 @@ def get_manifest(): ], "add_to_devenv_script": [ f"set PYTHONHOME=%~dp0{label}\\{version}\\install", - f"set PATH=\"%~dp0{label}\\{version}\\install\\Script\";%PATH%", + f"set PATH=%~dp0{label}\\{version}\\install\\Script;%PATH%", ], } ],