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
Intercept and convert \\wsl.localhost\ to \\wsl$\ paths #10908
Intercept and convert \\wsl.localhost\ to \\wsl$\ paths #10908
Conversation
Should this be an exe.config thing? Allow for the matches to be defined and the replacement. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
just doc typos, have not run
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Have run very briefly.
I believe this is all that is needed, took a quick look at the implementation.
This will display recent (and current) repos opened as wsl.localhost as wsl$. From a usability view, that is better as the recents are not duplicated. Users may be confused though.
(It is also much simpler to implement it this way.)
I will update the doc.
This feature was something I considered to, as wslpath
returns wsl.locahost and then you get the extra item.
I decided to not delay 4.1 for this, but have no problem accepting changes from someone else.
I'm not sure what you mean, sorry. |
Perhaps, but looks like users get confused by "wsl.localhost" more. |
edba062
to
42ce074
Compare
42ce074
to
e05151a
Compare
If wsl decides to change aliases or if user can change it to something else. Thinking if they needs to fix we can at least tell them to change the config file to allow it to work till we make a release. |
These are Windows defined, so I don't expect these to change often. |
There will be issues with users claiming that wsl.localhost is the new name and that it should be used instead of the old name, or that the entered name is used.
wsl$ was changed just because it contains illegal characters, requiring special handling. I would not expect this to be changed again. *Nix users (with wine or so) may need a similar "mode, triggered on something else. |
I see a problem with this solution for the following use case: With the new solution it change to wsl and does not take the configured ssh in gitExtensions any more but redirects to default ssh in WSL Workaround is to downgrade of gitExtensions or move repos to windows WSL: WSL 2 with latet ubuntu |
From https://git-extensions-documentation.readthedocs.io/en/release-4.1/settings.html#wsl-git-notes There are too many settings in GE already, I would like to avoid more (there are some hidden settings for WSL, not related to this though). Originally, I wanted to have wsl.localhost separated as you describe, but Windows insists on wsl.localhost in most conversions so it it inconvenient... |
Resolves #10025
Resolves #10815
Test methodology
Merge strategy
I agree that the maintainer squash merge this PR (if the commit message is clear).
✒️ I contribute this code under The Developer Certificate of Origin.