-
-
Notifications
You must be signed in to change notification settings - Fork 5.5k
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
Revise Windows implementation of splitdrive #42204
Conversation
The second commit excludes reserved characters and requires drive letters to actually be one letter. I'm not entirely sure whether this is a good idea. On the plus side it makes the function more accurate, on the minus side it moves this closer to a breaking change. It also becomes stricter than Python's |
As far as I can tell, it's impossible for the drive letter to be longer than one letter as there can at most be 26 MS-DOS drives. |
The failures in Windows CI look like they are related to the contents of this PR. |
|
Some archaeology indicates that this test was introduced in #22978, apparently with the intention that According to #20912 (comment), doing it like Python is preferred, or at least was five years ago. Can someone with a Windows Python investigate what
returns? |
Since |
How does this PR deal with
ref: https://discourse.julialang.org/t/joinpath-fails-on-splitdrive-output/95328 |
I expect |
On Julia v1.8.5
|
bump? |
I'd encourage someone to pick this up. It's constantly below my attention threshold and I don't have a Windows machine myself. |
Merged to master, while removing the second commit (which is breaking, and not really desirable to be that strict, as it means glob patterns won't be handled correctly anymore) |
Is there somehow a bug in the MozillaCerts_jll that makes it hang similar to the REPL one that @Keno fixed recently? |
This PR makes three improvements to the Windows
splitdrive
implementation:and long drive letters are once more recognized. This has been
broken since splitdrive under windows #19695 (Julia 0.5).
Some things to discuss:
long time without causing much of a stir.