-
Notifications
You must be signed in to change notification settings - Fork 51
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Prune should delete active workdir #33
Comments
Agree on the first part:
But I'd recommend avoiding it being the default behavior in case it's expected (or a feature), that the user could modify workdir About the second part, I'd suggest to consider it as a separate issue. |
👍 To me it makes sense to remove the dir in
In One important detail to keep in mind: workdirs can be nested, we have to be careful to not delete subdirs
|
In our docs we say:
I understand, that we're offering the ability to use your own modified Maybe:
|
Let's please not over complicate the CLI accommodating all possible scenarios. |
Since its a feature to let the users use and modify their own |
I don't think we should consider users tinkering with |
Currently, there is no way to delete workdir except manually
rm -rf
directory.I think
prune
should delete everything including workdir.Also right now it's possible to run prune multiple times. On the second time it prints:
Yes/No?
The text was updated successfully, but these errors were encountered: