-
Notifications
You must be signed in to change notification settings - Fork 285
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
Investigate: Improve management of Dev Containers #7720
Labels
Milestone
Comments
joaomoreno
changed the title
Management of Dev Containers
Investigate: Improve management of Dev Containers
Jan 27, 2023
20 tasks
16 tasks
Adding a clean up command. Renaming is difficult because a container's metadata is readonly. |
2 tasks
3 tasks
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Labels
When creating many dev containers using the "Create Dev Container..." command, it becomes difficult after a while to tell them apart. It would be nice to allow renaming them and to better support the user in cleaning them correctly (removing both a container and its volume).
cc @kieferrm
The text was updated successfully, but these errors were encountered: