diff --git a/planemo_ci_actions.sh b/planemo_ci_actions.sh index 1c5d9fa..d58d60b 100755 --- a/planemo_ci_actions.sh +++ b/planemo_ci_actions.sh @@ -161,7 +161,7 @@ if [ "$MODE" == "test" ]; then # show tools cat tool_list_chunk.txt - background_prune_docker &> /dev/null & + background_prune_docker & PRUNE_PID=$! # Test tools