[Bug]: Workspace directory is not fully deleted with `devpod delete`

[rabejens]

Before submitting

• I have searched existing issues to confirm this is not a duplicate
• I am running the latest version of DevPod

What happened?

When using Devpod and the Podman Provider with crun, after devpod delete <workspace>, the directory stays.

What did you expect to happen instead?

I expect devpod to remove all files and dirs correctly.

Steps to reproduce

1. Install devpod
2. Install the Podman provider
3. Start the "hello world" devpod: devpod up https://github.com/loft-sh/devpod-example-go
4. Delete the workspace: devpod delete devpod-example-go
5. List ~/.devpod/agent:

$ find ~/.devpod/agent
/home/jens/.devpod/agent
/home/jens/.devpod/agent/contexts
/home/jens/.devpod/agent/contexts/default
/home/jens/.devpod/agent/contexts/default/workspaces
/home/jens/.devpod/agent/contexts/default/workspaces/devpod-example-go
/home/jens/.devpod/agent/contexts/default/workspaces/devpod-example-go/content
find: ‘/home/jens/.devpod/agent/contexts/default/workspaces/devpod-example-go/content’: Permission denied

devcontainer.json

Error output / logs

How often does this happen?

Every time

Operating system

Linux

Linux distribution (if applicable)

Artix

Architecture

AMD64

Desktop app or CLI?

CLI only

DevPod version

v0.22.1

DevPod provider

Docker

Provider version

v0.4.0 (via git main checkout)

Screenshots

No response

Anything else?

No response

[rabejens]

I just tried it again and unfortunately, the problem still persists.

[skevetter]

Closed inadvertently.