Use short paths in Windows scripts, avoiding problems in paths with spaces

pgleeson · pgleeson · commit e89778a85b45 · 2022-09-05T13:04:46.000+01:00
diff --git a/run-shell-only.cmd b/run-shell-only.cmd
@@ -1,5 +1,5 @@
 SET OW_OUT_DIR=/home/ow/shared
-SET HOST_OUT_DIR=%~dp0
+SET HOST_OUT_DIR=%~dps0
 
 docker run -it ^
     --name openworm ^
diff --git a/run.cmd b/run.cmd
@@ -2,7 +2,7 @@
 setlocal
 
 set OW_OUT_DIR=/home/ow/shared
-set HOST_OUT_DIR=%~dp0
+set HOST_OUT_DIR=%~dps0
 
 :GETOPTS
  if /i "%1" == "-d" set DURATION=%2 & shift
