From c166e61f9f69db91d4755c0dcec28ea492742827 Mon Sep 17 00:00:00 2001 From: timqiu <9145422+cocoonwind@user.noreply.gitee.com> Date: Sun, 23 Mar 2025 22:58:09 +0800 Subject: [PATCH] Update for delete duplicated docker rmi --- devbox/cli/devbox | 7 ------- 1 file changed, 7 deletions(-) diff --git a/devbox/cli/devbox b/devbox/cli/devbox index cc737ff..a587066 100755 --- a/devbox/cli/devbox +++ b/devbox/cli/devbox @@ -1684,13 +1684,6 @@ devbox_init_command() { docker stop "$container_id" &>/dev/null || true docker rm "$container_id" &>/dev/null || true done - else - # Delete local image by image id - if docker rmi "$local_image_id" &>/dev/null; then - log_info "Deleted local image $local_image_id" - else - log_warn " Failed to delete local image $local_image_id" - fi fi # Delete local image by image id