77@ GOTO AFTER
88
99:BUSYBOX
10- @ echo Deleting old busybox data under ./extraction-results/busybox
11- @ del /s /f /q extraction-results\busybox\*.*
12- @ for /f %% f in ('dir /ad /b extraction-results\busybox\') do rd /s /q extraction-results\busybox\%% f
10+ @ if not exist " extraction-results" mkdir extraction-results
11+ @ if not exist " extraction-results/busybox" mkdir extraction-results/busybox
1312
1413@ echo " Starting the extraction"
15- @ docker run --user " 1000:1000" --name variability-extraction-busybox --mount source=busybox-extraction,target=/home/user/extraction-results/output variability-extraction %*
16-
17- @ echo " Copying data from the Docker container to ./extraction-results/busybox"
18- @ md extraction-results
19- @ cd extraction-results
20- @ md busybox
21- @ cd ..
22-
23- @ docker run --rm --volumes-from variability-extraction-busybox^
24- -u " 1000:1000" ^
25- -v " %cd% /extraction-results/busybox" :" /home/user/data" ^
26- ubuntu cp -rf /home/user/extraction-results/output /home/user/data
27-
28- @ echo " Removing Docker container and volume"
29- @ docker container rm variability-extraction-busybox
30- @ docker volume rm busybox-extraction
14+ @ docker run --rm -v " %cd% /extraction-results/busybox" :" /home/user/extraction-results/output" variability-extraction %*
15+
3116@ GOTO AFTER
3217
3318:LINUX
34- @ echo Delete the old linux data
35- @ del /s /f /q extraction-results\linux\*.*
36- @ for /f %% f in ('dir /ad /b extraction-results\linux\') do rd /s /q extraction-results\linux\%% f
19+ @ if not exist " extraction-results" mkdir extraction-results
20+ @ if not exist " extraction-results/linux" mkdir extraction-results/linux
3721
3822@ echo " Starting the extraction"
39- @ docker run^
40- --user " 1000:1000" ^
41- --name variability-extraction-linux^
42- --mount source=linux-extraction,target=/home/user/extraction-results/output^
43- variability-extraction %*
44-
45- @ echo " Copying data from the Docker container to ./extraction-results/linux"
46- @ md extraction-results
47- @ cd extraction-results
48- @ md linux
49- @ cd ..
50-
51- @ docker run --rm --volumes-from variability-extraction-linux^
52- -u " 1000:1000" ^
53- -v " %cd% /extraction-results/linux" :" /home/user/data" ^
54- ubuntu cp -rf /home/user/extraction-results/output /home/user/data
55-
56- @ echo " Removing Docker container and volume"
57- @ docker container rm variability-extraction-linux
58- @ docker volume rm linux-extraction
23+ @ docker run --rm -v " %cd% /extraction-results/linux" :" /home/user/extraction-results/output" variability-extraction %*
5924
6025:AFTER
6126@ pause
0 commit comments