Message322716
Thanks for all the extra info. A couple more comments:
1. I came across this issue when diagnosing the following pip issue ("pip install git+file://" not working for Windows UNC paths):
https://github.com/pypa/pip/issues/3783
2. URLs of the form "file:////root" (with four or more leading slashes) are perhaps not valid URI's technically. See Section 3. "Syntax Components" of RFC 3986, where it says, "When authority [i.e. netloc] is not present, the path cannot begin with two slash characters ('//')":
https://tools.ietf.org/html/rfc3986#section-3
However, I don't think that means Python shouldn't try to roundtrip it successfully. Also, git-clone is apparently okay with URLs of this form, and does the right thing with them. |
|
Date |
User |
Action |
Args |
2018-07-31 03:38:53 | chris.jerdonek | set | recipients:
+ chris.jerdonek, martin.panter, xtreak |
2018-07-31 03:38:53 | chris.jerdonek | set | messageid: <1533008333.36.0.56676864532.issue34276@psf.upfronthosting.co.za> |
2018-07-31 03:38:53 | chris.jerdonek | link | issue34276 messages |
2018-07-31 03:38:52 | chris.jerdonek | create | |
|