[PR #4156] Don't generate WSL distributions for docker-desktop* #25666

Open
opened 2026-01-31 09:10:58 +00:00 by claunia · 0 comments
Owner

Original Pull Request: https://github.com/microsoft/terminal/pull/4156

State: closed
Merged: Yes


These utility distributions are used by Docker for Windows' WSL2
integration. They are not intended for user consumption.

There is a minimal chance that a user has a distribution named docker-desktop or some superstring thereof, but this is taken as an acceptable level of risk.

**Original Pull Request:** https://github.com/microsoft/terminal/pull/4156 **State:** closed **Merged:** Yes --- These utility distributions are used by Docker for Windows' WSL2 integration. They are not intended for user consumption. * [x] Closes #3556 * [x] CLA signed. * [x] Tests added/passed * [x] Requires documentation to be updated * [x] I've discussed this with core contributors already. There is a minimal chance that a user _has_ a distribution named `docker-desktop` or some superstring thereof, but this is taken as an acceptable level of risk.
claunia added the pull-request label 2026-01-31 09:10:58 +00:00
Sign in to join this conversation.
No Label pull-request
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#25666