diff --git a/.devcontainer/scripts/post_start.sh b/.devcontainer/scripts/post_start.sh index c98674037d..1b87d801fd 100755 --- a/.devcontainer/scripts/post_start.sh +++ b/.devcontainer/scripts/post_start.sh @@ -1,4 +1,4 @@ #!/bin/sh # Start Docker service if not already running. -sudo service docker start +sudo service docker status >/dev/null 2>&1 || sudo service docker start