ryanyao/freeleaps-pub
1
0
Fork 0
forked from freeleaps/freeleaps-pub
Code Pull Requests Activity

Update for delete duplicated docker rmi

Browse Source
This commit is contained in:
timqiu 2025-03-23 22:58:09 +08:00
parent b0100cbf07
commit c166e61f9f
1 changed files with 0 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
devbox/cli/devbox
View File

@ -1684,13 +1684,6 @@ devbox_init_command() {
docker stop "$container_id" &>/dev/null || true docker stop "$container_id" &>/dev/null || true
docker rm "$container_id" &>/dev/null || true docker rm "$container_id" &>/dev/null || true
done 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 fi
# Delete local image by image id # Delete local image by image id