Open
Description
What problem are you trying to solve?
Sometimes, I start using devbox in a folder, but I later on decide to migrate to another one, for different considerations.
In this case, I'd like to rapidly clean up the folder, but then I need to do that manually, even if this is not a complex task.
What solution would you like?
I'd love something like devbox clean
to remove devbox from the current folder (including direnv when the devbox generate direnv
has been invoked)
Alternatives you've considered
Currently, I remove everything manually
rm -rf .devbox devbox.* .envrc