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

Merged PR 53: Update for delete duplicated docker rmi

Browse Source 
Update for delete duplicated docker rmi
This commit is contained in:
Tianyong Qiu 2025-03-23 14:59:10 +00:00
commit d8d347ffc0
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 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