diff --git a/planemo_ci_actions.sh b/planemo_ci_actions.sh index aca0d84..7df9f9c 100755 --- a/planemo_ci_actions.sh +++ b/planemo_ci_actions.sh @@ -3,7 +3,7 @@ set -exo pipefail # function running an infinite loop pruning (unused) docker images function background_prune_docker { - while 1; do + while true; do docker system prune --all --volumes --force &>> /tmp/prune sleep 60 done @@ -162,8 +162,6 @@ if [ "$MODE" == "test" ]; then cat tool_list_chunk.txt background_prune_docker & - sleep 60 - PRUNE_PID=$! ps aux cat /tmp/prune @@ -196,8 +194,8 @@ if [ "$MODE" == "test" ]; then mv tool_test_output.json tool_test_output.html upload/ cat /tmp/prune - # ps aux - # kill "$PRUNE_PID" + ps aux + kill "$PRUNE_PID" fi # combine reports mode