Skip to content

wkdev-update: Delete container before recreating #75

@ptomato

Description

@ptomato

I recently ran out of disk space while running wkdev-update and had to manually delete the existing container image with podman rmi before creating a new one. The containers are tens of gigabytes, so it'd be good for wkdev-update to first delete the old container.

(Alternatively, if we don't want to delete first by default, we could instead wait until the process fails due to disk space, then delete the old container and retry)

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions