mirror of
https://github.com/python/cpython.git
synced 2024-11-23 01:45:25 +08:00
8c98ed846a
Decode a file URI like `file://///server/share` as a UNC path like `\\server\share`. This form of file URI is created by software the simply prepends `file:///` to any absolute Windows path.
68 lines
2.3 KiB
Python
68 lines
2.3 KiB
Python
"""Convert a NT pathname to a file URL and vice versa.
|
|
|
|
This module only exists to provide OS-specific code
|
|
for urllib.requests, thus do not use directly.
|
|
"""
|
|
# Testing is done through test_urllib.
|
|
|
|
def url2pathname(url):
|
|
"""OS-specific conversion from a relative URL of the 'file' scheme
|
|
to a file system path; not recommended for general use."""
|
|
# e.g.
|
|
# ///C|/foo/bar/spam.foo
|
|
# and
|
|
# ///C:/foo/bar/spam.foo
|
|
# become
|
|
# C:\foo\bar\spam.foo
|
|
import string, urllib.parse
|
|
if url[:3] == '///':
|
|
# URL has an empty authority section, so the path begins on the third
|
|
# character.
|
|
url = url[2:]
|
|
elif url[:12] == '//localhost/':
|
|
# Skip past 'localhost' authority.
|
|
url = url[11:]
|
|
if url[:3] == '///':
|
|
# Skip past extra slash before UNC drive in URL path.
|
|
url = url[1:]
|
|
# Windows itself uses ":" even in URLs.
|
|
url = url.replace(':', '|')
|
|
if not '|' in url:
|
|
# No drive specifier, just convert slashes
|
|
# make sure not to convert quoted slashes :-)
|
|
return urllib.parse.unquote(url.replace('/', '\\'))
|
|
comp = url.split('|')
|
|
if len(comp) != 2 or comp[0][-1] not in string.ascii_letters:
|
|
error = 'Bad URL: ' + url
|
|
raise OSError(error)
|
|
drive = comp[0][-1].upper()
|
|
tail = urllib.parse.unquote(comp[1].replace('/', '\\'))
|
|
return drive + ':' + tail
|
|
|
|
def pathname2url(p):
|
|
"""OS-specific conversion from a file system path to a relative URL
|
|
of the 'file' scheme; not recommended for general use."""
|
|
# e.g.
|
|
# C:\foo\bar\spam.foo
|
|
# becomes
|
|
# ///C:/foo/bar/spam.foo
|
|
import ntpath
|
|
import urllib.parse
|
|
# First, clean up some special forms. We are going to sacrifice
|
|
# the additional information anyway
|
|
p = p.replace('\\', '/')
|
|
if p[:4] == '//?/':
|
|
p = p[4:]
|
|
if p[:4].upper() == 'UNC/':
|
|
p = '//' + p[4:]
|
|
drive, tail = ntpath.splitdrive(p)
|
|
if drive[1:] == ':':
|
|
# DOS drive specified. Add three slashes to the start, producing
|
|
# an authority section with a zero-length authority, and a path
|
|
# section starting with a single slash.
|
|
drive = f'///{drive.upper()}'
|
|
|
|
drive = urllib.parse.quote(drive, safe='/:')
|
|
tail = urllib.parse.quote(tail)
|
|
return drive + tail
|