diff --git a/devbox/devbox.local/cli/devbox b/devbox/devbox.local/cli/devbox index 9f37a08..233c8fd 100644 --- a/devbox/devbox.local/cli/devbox +++ b/devbox/devbox.local/cli/devbox @@ -684,8 +684,19 @@ devbox_init_command() { # ------------------------------------------------------------------- # 3.1 Docker Check if ! command -v docker &>/dev/null; then - echo "ERROR: docker is not installed or not in PATH." - exit 1 + # ------------------------------------------------------------------- + # 3.1.1.install docker and check docker running + # ------------------------------------------------------------------- + if ! install_docker; then + echo "ERROR: Failed to install Docker or Docker service is not running." + exit 1 + fi + + if ! check_docker_running; then + echo "ERROR: Docker service is not running." + exit 1 + fi + fi # 3.2 Check disk space @@ -724,19 +735,7 @@ devbox_init_command() { fi fi - # ------------------------------------------------------------------- - # 5.install docker and check docker running - # ------------------------------------------------------------------- - if ! install_docker; then - echo "ERROR: Failed to install Docker or Docker service is not running." - exit 1 - fi - - if ! check_docker_running; then - echo "ERROR: Docker service is not running." - exit 1 - fi - + # ------------------------------------------------------------------- # 5.1 pull and start DevBox container # -------------------------------------------------------------------