diff --git a/scripts/docker-setup.sh b/scripts/docker-setup.sh index 24cd6b2..af7b5dd 100644 --- a/scripts/docker-setup.sh +++ b/scripts/docker-setup.sh @@ -1933,6 +1933,9 @@ main() { install_tools_and_configure print_summary + + # Allow tee (from exec > >(tee ...)) to flush remaining output to terminal + sleep 0.5 } main "$@" \ No newline at end of file