File tree Expand file tree Collapse file tree 2 files changed +2
-3
lines changed Expand file tree Collapse file tree 2 files changed +2
-3
lines changed Original file line number Diff line number Diff line change 28
28
./run.sh -d 20 -c demo1
29
29
- name : Run the Docker image with a worm
30
30
run : |
31
+ ./stop.sh
31
32
./run.sh
32
33
- name : Info on generated files
33
34
run : |
Original file line number Diff line number Diff line change @@ -29,17 +29,15 @@ else #Duration is set, use it.
29
29
DURATION_PART=" -e DURATION=$duration "
30
30
fi
31
31
32
- echo 888
33
32
if [ -z " $configuration " ]
34
33
then # configuration is not set, don't use it
35
34
CONFIGURATION_PART=" "
36
35
else # Configuration is set, use it.
37
36
CONFIGURATION_PART=" -e CONFIGURATION=$configuration "
38
37
fi
39
38
40
- echo 77
41
39
42
- echo " Running Docker container for OpenWorm v${version} , configuration: ${configuration} , duration: ${duration} "
40
+ echo " Running Docker container for OpenWorm v${version} "
43
41
44
42
45
43
docker run -d \
You can’t perform that action at this time.
0 commit comments