replication bat fixes

Author: pmbittner

replication/splc23-views/build.bat

@@ -9,7 +9,7 @@ for %%A in ("%CD%") do set "currentDir=%%~nxA"
 rem Check if the current directory ends with the target sub-path
 if "%currentDir:~-12%"=="%targetSubPath%" (
     cd ..\..
-    docker build -t diff-detective-views replication\splc23-views\Dockerfile .
+    docker build -t diff-detective-views -f replication\splc23-views\Dockerfile .
     @pause
 ) else (
     echo error: the script must be run from inside the splc23-views directory, i.e., DiffDetective\replication\%targetSubPath%

replication/splc23-views/execute.bat

@@ -7,7 +7,7 @@ rem Get the current directory
 for %%A in ("%CD%") do set "currentDir=%%~nxA"
 
 rem Check if the current directory ends with the target sub-path
-if "%currentDir:~-9%"=="%targetSubPath%" (
+if "%currentDir:~-12%"=="%targetSubPath%" (
 docker run --rm -v "%cd%\results":"/home/sherlock/results" diff-detective-views %*
 ) else (
     echo error: the script must be run from inside the splc23-views directory, i.e., DiffDetective\replication\%targetSubPath%

replication/splc23-views/stop-execution.bat

@@ -1,3 +1,3 @@
-@echo "Stopping all running simulations. This will take a moment..."
+@echo "Stopping all running replications. This will take a moment..."
 @FOR /f "tokens=*" %%i IN ('docker ps -a -q --filter "ancestor=diff-detective-views"') DO docker stop %%i
 @echo "...done."

replication/splc23-views/stop-execution.sh

@@ -1,4 +1,4 @@
 #!/usr/bin/env bash
-echo "Stopping Docker container. This will take a moment..."
+echo "Stopping all running replications. This will take a moment..."
 docker stop "$(docker ps -a -q --filter "ancestor=diff-detective-views")"
 echo "...done."