From: Ben Soares <b.soares@dundee.ac.uk>
Date: Fri, 28 Jun 2024 17:18:12 +0000 (+0100)
Subject: JAL-3830 Added some quotation marks to jalview.bat for folders with spaces
X-Git-Tag: Release_2_11_4_0~24^2~4
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=2174ff91f8e904011cbff62bcff60138a3a1cfdf;p=jalview.git

JAL-3830 Added some quotation marks to jalview.bat for folders with spaces
---

diff --git a/utils/getdown/bin/jalview.bat b/utils/getdown/bin/jalview.bat
old mode 100755
new mode 100644
index 0eca4e4..c88225d
--- a/utils/getdown/bin/jalview.bat
+++ b/utils/getdown/bin/jalview.bat
@@ -12,8 +12,8 @@ REM This is some DOS magic to substitute the extension in the full path of this
 SET SCRIPTPATH=%~dpn0.ps1
 
 REM PowerShell script isn't where it should be!
-IF NOT EXIST %SCRIPTPATH% (
-  ECHO Could not find PowerShell script %SCRIPTPATH%.  Is %~nx0 in the right folder?
+IF NOT EXIST "%SCRIPTPATH%" (
+  ECHO Could not find PowerShell script "%SCRIPTPATH%".  Is %~nx0 in the right folder?
   EXIT /B 1
 )
 
@@ -27,7 +27,7 @@ FOR %%X IN (pwsh.exe powershell.exe) DO (
   IF NOT DEFINED PWSH ( 
     IF NOT "%%~$PATH:X" == "" (
       REM Found a PowerShell executable in the PATH
-      SET PWSH=%%X
+      SET PWSH="%%X"
       GOTO end_looking
     )
   )
@@ -47,4 +47,4 @@ IF NOT DEFINED PWSH (
 )
 
 REM Run the PowerShell script
-%PWSH% -NoProfile -ExecutionPolicy Bypass -Command "& '%SCRIPTPATH%' %*";
+"%PWSH%" -NoProfile -ExecutionPolicy Bypass -Command "& '%SCRIPTPATH%' %*";