Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 1 | # Module 'ntpath' -- common operations on WinNT/Win95 pathnames |
Tim Peters | 2344fae | 2001-01-15 00:50:52 +0000 | [diff] [blame] | 2 | """Common pathname manipulations, WindowsNT/95 version. |
Guido van Rossum | 534972b | 1999-02-03 17:20:50 +0000 | [diff] [blame] | 3 | |
| 4 | Instead of importing this module directly, import os and refer to this |
| 5 | module as os.path. |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 6 | """ |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 7 | |
Serhiy Storchaka | 3460198 | 2018-01-07 17:54:31 +0200 | [diff] [blame] | 8 | # strings representing various path-related bits and pieces |
| 9 | # These are primarily for export; internally, they are hardcoded. |
| 10 | # Should be set before imports for resolving cyclic dependency. |
| 11 | curdir = '.' |
| 12 | pardir = '..' |
| 13 | extsep = '.' |
| 14 | sep = '\\' |
| 15 | pathsep = ';' |
| 16 | altsep = '/' |
| 17 | defpath = '.;C:\\bin' |
| 18 | devnull = 'nul' |
| 19 | |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 20 | import os |
Mark Hammond | 8696ebc | 2002-10-08 02:44:31 +0000 | [diff] [blame] | 21 | import sys |
Christian Heimes | 05e8be1 | 2008-02-23 18:30:17 +0000 | [diff] [blame] | 22 | import stat |
Guido van Rossum | d8faa36 | 2007-04-27 19:54:29 +0000 | [diff] [blame] | 23 | import genericpath |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 24 | from genericpath import * |
Skip Montanaro | 4d5d5bf | 2000-07-13 01:01:03 +0000 | [diff] [blame] | 25 | |
Skip Montanaro | 269b83b | 2001-02-06 01:07:02 +0000 | [diff] [blame] | 26 | __all__ = ["normcase","isabs","join","splitdrive","split","splitext", |
| 27 | "basename","dirname","commonprefix","getsize","getmtime", |
Georg Brandl | f0de6a1 | 2005-08-22 18:02:59 +0000 | [diff] [blame] | 28 | "getatime","getctime", "islink","exists","lexists","isdir","isfile", |
Benjamin Peterson | d71ca41 | 2008-05-08 23:44:58 +0000 | [diff] [blame] | 29 | "ismount", "expanduser","expandvars","normpath","abspath", |
Serhiy Storchaka | 9ed707e | 2017-01-13 20:55:05 +0200 | [diff] [blame] | 30 | "curdir","pardir","sep","pathsep","defpath","altsep", |
Brian Curtin | d40e6f7 | 2010-07-08 21:39:08 +0000 | [diff] [blame] | 31 | "extsep","devnull","realpath","supports_unicode_filenames","relpath", |
Serhiy Storchaka | 3822093 | 2015-03-31 15:31:53 +0300 | [diff] [blame] | 32 | "samefile", "sameopenfile", "samestat", "commonpath"] |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 33 | |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 34 | def _get_bothseps(path): |
| 35 | if isinstance(path, bytes): |
| 36 | return b'\\/' |
| 37 | else: |
| 38 | return '\\/' |
| 39 | |
Guido van Rossum | e2ad88c | 1997-08-12 14:46:58 +0000 | [diff] [blame] | 40 | # Normalize the case of a pathname and map slashes to backslashes. |
| 41 | # Other normalizations (such as optimizing '../' away) are not done |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 42 | # (this is done by normpath). |
Guido van Rossum | e2ad88c | 1997-08-12 14:46:58 +0000 | [diff] [blame] | 43 | |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 44 | def normcase(s): |
Guido van Rossum | 16a0bc2 | 1998-02-18 13:48:31 +0000 | [diff] [blame] | 45 | """Normalize case of pathname. |
| 46 | |
Guido van Rossum | 534972b | 1999-02-03 17:20:50 +0000 | [diff] [blame] | 47 | Makes all characters lowercase and all slashes into backslashes.""" |
Brett Cannon | 3f9183b | 2016-08-26 14:44:48 -0700 | [diff] [blame] | 48 | s = os.fspath(s) |
Wolfgang Maier | 74510e2 | 2019-03-28 22:47:18 +0100 | [diff] [blame] | 49 | if isinstance(s, bytes): |
| 50 | return s.replace(b'/', b'\\').lower() |
| 51 | else: |
| 52 | return s.replace('/', '\\').lower() |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 53 | |
Guido van Rossum | 77e1db3 | 1997-06-02 23:11:57 +0000 | [diff] [blame] | 54 | |
Fred Drake | ef0b5dd | 2000-02-17 17:30:40 +0000 | [diff] [blame] | 55 | # Return whether a path is absolute. |
Mark Hammond | 5a607a3 | 2009-05-06 08:04:54 +0000 | [diff] [blame] | 56 | # Trivial in Posix, harder on Windows. |
| 57 | # For Windows it is absolute if it starts with a slash or backslash (current |
| 58 | # volume), or if a pathname after the volume-letter-and-colon or UNC-resource |
Guido van Rossum | 534972b | 1999-02-03 17:20:50 +0000 | [diff] [blame] | 59 | # starts with a slash or backslash. |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 60 | |
| 61 | def isabs(s): |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 62 | """Test whether a path is absolute""" |
Brett Cannon | 3f9183b | 2016-08-26 14:44:48 -0700 | [diff] [blame] | 63 | s = os.fspath(s) |
Steve Dower | abde52c | 2019-11-15 09:49:21 -0800 | [diff] [blame] | 64 | # Paths beginning with \\?\ are always absolute, but do not |
| 65 | # necessarily contain a drive. |
| 66 | if isinstance(s, bytes): |
| 67 | if s.replace(b'/', b'\\').startswith(b'\\\\?\\'): |
| 68 | return True |
| 69 | else: |
| 70 | if s.replace('/', '\\').startswith('\\\\?\\'): |
| 71 | return True |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 72 | s = splitdrive(s)[1] |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 73 | return len(s) > 0 and s[0] in _get_bothseps(s) |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 74 | |
| 75 | |
Guido van Rossum | 77e1db3 | 1997-06-02 23:11:57 +0000 | [diff] [blame] | 76 | # Join two (or more) paths. |
Serhiy Storchaka | c369c2c | 2014-01-27 23:15:14 +0200 | [diff] [blame] | 77 | def join(path, *paths): |
Brett Cannon | 3f9183b | 2016-08-26 14:44:48 -0700 | [diff] [blame] | 78 | path = os.fspath(path) |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 79 | if isinstance(path, bytes): |
| 80 | sep = b'\\' |
| 81 | seps = b'\\/' |
| 82 | colon = b':' |
| 83 | else: |
| 84 | sep = '\\' |
| 85 | seps = '\\/' |
| 86 | colon = ':' |
Serhiy Storchaka | 3deeeb0 | 2014-10-04 14:58:43 +0300 | [diff] [blame] | 87 | try: |
Serhiy Storchaka | 5bfc03f | 2015-05-19 11:00:07 +0300 | [diff] [blame] | 88 | if not paths: |
| 89 | path[:0] + sep #23780: Ensure compatible data type even if p is null. |
Serhiy Storchaka | 3deeeb0 | 2014-10-04 14:58:43 +0300 | [diff] [blame] | 90 | result_drive, result_path = splitdrive(path) |
Brett Cannon | 3f9183b | 2016-08-26 14:44:48 -0700 | [diff] [blame] | 91 | for p in map(os.fspath, paths): |
Serhiy Storchaka | 3deeeb0 | 2014-10-04 14:58:43 +0300 | [diff] [blame] | 92 | p_drive, p_path = splitdrive(p) |
| 93 | if p_path and p_path[0] in seps: |
| 94 | # Second path is absolute |
| 95 | if p_drive or not result_drive: |
| 96 | result_drive = p_drive |
Serhiy Storchaka | c369c2c | 2014-01-27 23:15:14 +0200 | [diff] [blame] | 97 | result_path = p_path |
| 98 | continue |
Serhiy Storchaka | 3deeeb0 | 2014-10-04 14:58:43 +0300 | [diff] [blame] | 99 | elif p_drive and p_drive != result_drive: |
| 100 | if p_drive.lower() != result_drive.lower(): |
| 101 | # Different drives => ignore the first path entirely |
| 102 | result_drive = p_drive |
| 103 | result_path = p_path |
| 104 | continue |
| 105 | # Same drive in different case |
| 106 | result_drive = p_drive |
| 107 | # Second path is relative to the first |
| 108 | if result_path and result_path[-1] not in seps: |
| 109 | result_path = result_path + sep |
| 110 | result_path = result_path + p_path |
| 111 | ## add separator between UNC and non-absolute path |
| 112 | if (result_path and result_path[0] not in seps and |
| 113 | result_drive and result_drive[-1:] != colon): |
| 114 | return result_drive + sep + result_path |
| 115 | return result_drive + result_path |
| 116 | except (TypeError, AttributeError, BytesWarning): |
| 117 | genericpath._check_arg_types('join', path, *paths) |
| 118 | raise |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 119 | |
| 120 | |
| 121 | # Split a path in a drive specification (a drive letter followed by a |
Guido van Rossum | f3c695c | 1999-04-06 19:32:19 +0000 | [diff] [blame] | 122 | # colon) and the path specification. |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 123 | # It is always true that drivespec + pathspec == p |
| 124 | def splitdrive(p): |
Mark Hammond | 5a607a3 | 2009-05-06 08:04:54 +0000 | [diff] [blame] | 125 | """Split a pathname into drive/UNC sharepoint and relative path specifiers. |
| 126 | Returns a 2-tuple (drive_or_unc, path); either part may be empty. |
| 127 | |
| 128 | If you assign |
| 129 | result = splitdrive(p) |
| 130 | It is always true that: |
| 131 | result[0] + result[1] == p |
| 132 | |
| 133 | If the path contained a drive letter, drive_or_unc will contain everything |
| 134 | up to and including the colon. e.g. splitdrive("c:/dir") returns ("c:", "/dir") |
| 135 | |
| 136 | If the path contained a UNC path, the drive_or_unc will contain the host name |
| 137 | and share up to but not including the fourth directory separator character. |
| 138 | e.g. splitdrive("//host/computer/dir") returns ("//host/computer", "/dir") |
| 139 | |
| 140 | Paths cannot contain both a drive letter and a UNC path. |
| 141 | |
| 142 | """ |
Brett Cannon | 3f9183b | 2016-08-26 14:44:48 -0700 | [diff] [blame] | 143 | p = os.fspath(p) |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 144 | if len(p) >= 2: |
| 145 | if isinstance(p, bytes): |
| 146 | sep = b'\\' |
| 147 | altsep = b'/' |
| 148 | colon = b':' |
| 149 | else: |
| 150 | sep = '\\' |
| 151 | altsep = '/' |
| 152 | colon = ':' |
| 153 | normp = p.replace(altsep, sep) |
Mark Hammond | 5a607a3 | 2009-05-06 08:04:54 +0000 | [diff] [blame] | 154 | if (normp[0:2] == sep*2) and (normp[2:3] != sep): |
| 155 | # is a UNC path: |
| 156 | # vvvvvvvvvvvvvvvvvvvv drive letter or UNC path |
| 157 | # \\machine\mountpoint\directory\etc\... |
| 158 | # directory ^^^^^^^^^^^^^^^ |
| 159 | index = normp.find(sep, 2) |
| 160 | if index == -1: |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 161 | return p[:0], p |
Mark Hammond | 5a607a3 | 2009-05-06 08:04:54 +0000 | [diff] [blame] | 162 | index2 = normp.find(sep, index + 1) |
| 163 | # a UNC path can't have two slashes in a row |
| 164 | # (after the initial two) |
| 165 | if index2 == index + 1: |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 166 | return p[:0], p |
Mark Hammond | 5a607a3 | 2009-05-06 08:04:54 +0000 | [diff] [blame] | 167 | if index2 == -1: |
| 168 | index2 = len(p) |
| 169 | return p[:index2], p[index2:] |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 170 | if normp[1:2] == colon: |
Mark Hammond | 5a607a3 | 2009-05-06 08:04:54 +0000 | [diff] [blame] | 171 | return p[:2], p[2:] |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 172 | return p[:0], p |
Guido van Rossum | f3c695c | 1999-04-06 19:32:19 +0000 | [diff] [blame] | 173 | |
| 174 | |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 175 | # Split a path in head (everything up to the last '/') and tail (the |
Guido van Rossum | 8f0fa9e | 1999-03-19 21:05:12 +0000 | [diff] [blame] | 176 | # rest). After the trailing '/' is stripped, the invariant |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 177 | # join(head, tail) == p holds. |
| 178 | # The resulting head won't end in '/' unless it is the root. |
| 179 | |
| 180 | def split(p): |
Guido van Rossum | 534972b | 1999-02-03 17:20:50 +0000 | [diff] [blame] | 181 | """Split a pathname. |
| 182 | |
| 183 | Return tuple (head, tail) where tail is everything after the final slash. |
| 184 | Either part may be empty.""" |
Brett Cannon | 3f9183b | 2016-08-26 14:44:48 -0700 | [diff] [blame] | 185 | p = os.fspath(p) |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 186 | seps = _get_bothseps(p) |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 187 | d, p = splitdrive(p) |
Guido van Rossum | 8f0fa9e | 1999-03-19 21:05:12 +0000 | [diff] [blame] | 188 | # set i to index beyond p's last slash |
| 189 | i = len(p) |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 190 | while i and p[i-1] not in seps: |
Georg Brandl | 599b65d | 2010-07-23 08:46:35 +0000 | [diff] [blame] | 191 | i -= 1 |
Guido van Rossum | 8f0fa9e | 1999-03-19 21:05:12 +0000 | [diff] [blame] | 192 | head, tail = p[:i], p[i:] # now tail has no slashes |
| 193 | # remove trailing slashes from head, unless it's all slashes |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 194 | head = head.rstrip(seps) or head |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 195 | return d + head, tail |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 196 | |
| 197 | |
| 198 | # Split a path in root and extension. |
Guido van Rossum | 73e122f | 1997-01-22 00:17:26 +0000 | [diff] [blame] | 199 | # The extension is everything starting at the last dot in the last |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 200 | # pathname component; the root is everything before that. |
| 201 | # It is always true that root + ext == p. |
| 202 | |
| 203 | def splitext(p): |
Brett Cannon | 3f9183b | 2016-08-26 14:44:48 -0700 | [diff] [blame] | 204 | p = os.fspath(p) |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 205 | if isinstance(p, bytes): |
| 206 | return genericpath._splitext(p, b'\\', b'/', b'.') |
| 207 | else: |
| 208 | return genericpath._splitext(p, '\\', '/', '.') |
Guido van Rossum | d8faa36 | 2007-04-27 19:54:29 +0000 | [diff] [blame] | 209 | splitext.__doc__ = genericpath._splitext.__doc__ |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 210 | |
| 211 | |
| 212 | # Return the tail (basename) part of a path. |
| 213 | |
| 214 | def basename(p): |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 215 | """Returns the final component of a pathname""" |
| 216 | return split(p)[1] |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 217 | |
| 218 | |
| 219 | # Return the head (dirname) part of a path. |
| 220 | |
| 221 | def dirname(p): |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 222 | """Returns the directory component of a pathname""" |
| 223 | return split(p)[0] |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 224 | |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 225 | # Is a path a symbolic link? |
Brian Curtin | d40e6f7 | 2010-07-08 21:39:08 +0000 | [diff] [blame] | 226 | # This will always return false on systems where os.lstat doesn't exist. |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 227 | |
| 228 | def islink(path): |
Brian Curtin | d40e6f7 | 2010-07-08 21:39:08 +0000 | [diff] [blame] | 229 | """Test whether a path is a symbolic link. |
Jesus Cea | f1af705 | 2012-10-05 02:48:46 +0200 | [diff] [blame] | 230 | This will always return false for Windows prior to 6.0. |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 231 | """ |
Brian Curtin | d40e6f7 | 2010-07-08 21:39:08 +0000 | [diff] [blame] | 232 | try: |
| 233 | st = os.lstat(path) |
Serhiy Storchaka | 0185f34 | 2018-09-18 11:28:51 +0300 | [diff] [blame] | 234 | except (OSError, ValueError, AttributeError): |
Brian Curtin | d40e6f7 | 2010-07-08 21:39:08 +0000 | [diff] [blame] | 235 | return False |
| 236 | return stat.S_ISLNK(st.st_mode) |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 237 | |
Brian Curtin | d40e6f7 | 2010-07-08 21:39:08 +0000 | [diff] [blame] | 238 | # Being true for dangling symbolic links is also useful. |
| 239 | |
| 240 | def lexists(path): |
| 241 | """Test whether a path exists. Returns True for broken symbolic links""" |
| 242 | try: |
| 243 | st = os.lstat(path) |
Serhiy Storchaka | 0185f34 | 2018-09-18 11:28:51 +0300 | [diff] [blame] | 244 | except (OSError, ValueError): |
Brian Curtin | d40e6f7 | 2010-07-08 21:39:08 +0000 | [diff] [blame] | 245 | return False |
| 246 | return True |
Johannes Gijsbers | ae882f7 | 2004-08-30 10:19:56 +0000 | [diff] [blame] | 247 | |
Tim Golden | 6b52806 | 2013-08-01 12:44:00 +0100 | [diff] [blame] | 248 | # Is a path a mount point? |
| 249 | # Any drive letter root (eg c:\) |
| 250 | # Any share UNC (eg \\server\share) |
| 251 | # Any volume mounted on a filesystem folder |
| 252 | # |
| 253 | # No one method detects all three situations. Historically we've lexically |
| 254 | # detected drive letter roots and share UNCs. The canonical approach to |
| 255 | # detecting mounted volumes (querying the reparse tag) fails for the most |
| 256 | # common case: drive letter roots. The alternative which uses GetVolumePathName |
| 257 | # fails if the drive letter is the result of a SUBST. |
| 258 | try: |
| 259 | from nt import _getvolumepathname |
| 260 | except ImportError: |
| 261 | _getvolumepathname = None |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 262 | def ismount(path): |
Tim Golden | 6b52806 | 2013-08-01 12:44:00 +0100 | [diff] [blame] | 263 | """Test whether a path is a mount point (a drive root, the root of a |
| 264 | share, or a mounted volume)""" |
Brett Cannon | 3f9183b | 2016-08-26 14:44:48 -0700 | [diff] [blame] | 265 | path = os.fspath(path) |
Benjamin Peterson | 48e2478 | 2009-03-29 13:02:52 +0000 | [diff] [blame] | 266 | seps = _get_bothseps(path) |
Tim Golden | 6b52806 | 2013-08-01 12:44:00 +0100 | [diff] [blame] | 267 | path = abspath(path) |
Mark Hammond | 5a607a3 | 2009-05-06 08:04:54 +0000 | [diff] [blame] | 268 | root, rest = splitdrive(path) |
| 269 | if root and root[0] in seps: |
| 270 | return (not rest) or (rest in seps) |
Tim Golden | 6b52806 | 2013-08-01 12:44:00 +0100 | [diff] [blame] | 271 | if rest in seps: |
| 272 | return True |
| 273 | |
| 274 | if _getvolumepathname: |
| 275 | return path.rstrip(seps) == _getvolumepathname(path).rstrip(seps) |
| 276 | else: |
| 277 | return False |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 278 | |
| 279 | |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 280 | # Expand paths beginning with '~' or '~user'. |
| 281 | # '~' means $HOME; '~user' means that user's home directory. |
| 282 | # If the path doesn't begin with '~', or if the user or $HOME is unknown, |
| 283 | # the path is returned unchanged (leaving error reporting to whatever |
| 284 | # function is called with the expanded path as argument). |
| 285 | # See also module 'glob' for expansion of *, ? and [...] in pathnames. |
| 286 | # (A function should also be defined to do full *sh-style environment |
| 287 | # variable expansion.) |
| 288 | |
| 289 | def expanduser(path): |
Guido van Rossum | 534972b | 1999-02-03 17:20:50 +0000 | [diff] [blame] | 290 | """Expand ~ and ~user constructs. |
| 291 | |
| 292 | If user or $HOME is unknown, do nothing.""" |
Brett Cannon | 3f9183b | 2016-08-26 14:44:48 -0700 | [diff] [blame] | 293 | path = os.fspath(path) |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 294 | if isinstance(path, bytes): |
| 295 | tilde = b'~' |
| 296 | else: |
| 297 | tilde = '~' |
| 298 | if not path.startswith(tilde): |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 299 | return path |
| 300 | i, n = 1, len(path) |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 301 | while i < n and path[i] not in _get_bothseps(path): |
Georg Brandl | 599b65d | 2010-07-23 08:46:35 +0000 | [diff] [blame] | 302 | i += 1 |
Guido van Rossum | d8faa36 | 2007-04-27 19:54:29 +0000 | [diff] [blame] | 303 | |
Anthony Sottile | 25ec4a4 | 2019-03-12 08:39:57 -0700 | [diff] [blame] | 304 | if 'USERPROFILE' in os.environ: |
Guido van Rossum | d8faa36 | 2007-04-27 19:54:29 +0000 | [diff] [blame] | 305 | userhome = os.environ['USERPROFILE'] |
| 306 | elif not 'HOMEPATH' in os.environ: |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 307 | return path |
Guido van Rossum | d8faa36 | 2007-04-27 19:54:29 +0000 | [diff] [blame] | 308 | else: |
| 309 | try: |
| 310 | drive = os.environ['HOMEDRIVE'] |
| 311 | except KeyError: |
| 312 | drive = '' |
| 313 | userhome = join(drive, os.environ['HOMEPATH']) |
| 314 | |
Barney Gale | 3f3d82b | 2021-04-07 23:50:13 +0100 | [diff] [blame] | 315 | if i != 1: #~user |
Barney Gale | 3f3d82b | 2021-04-07 23:50:13 +0100 | [diff] [blame] | 316 | target_user = path[1:i] |
| 317 | if isinstance(target_user, bytes): |
| 318 | target_user = os.fsdecode(target_user) |
Barney Gale | ba1db57 | 2021-04-09 22:28:15 +0100 | [diff] [blame] | 319 | current_user = os.environ.get('USERNAME') |
| 320 | |
Barney Gale | 3f3d82b | 2021-04-07 23:50:13 +0100 | [diff] [blame] | 321 | if target_user != current_user: |
Barney Gale | ba1db57 | 2021-04-09 22:28:15 +0100 | [diff] [blame] | 322 | # Try to guess user home directory. By default all user |
| 323 | # profile directories are located in the same place and are |
| 324 | # named by corresponding usernames. If userhome isn't a |
| 325 | # normal profile directory, this guess is likely wrong, |
| 326 | # so we bail out. |
| 327 | if current_user != basename(userhome): |
| 328 | return path |
Barney Gale | 3f3d82b | 2021-04-07 23:50:13 +0100 | [diff] [blame] | 329 | userhome = join(dirname(userhome), target_user) |
| 330 | |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 331 | if isinstance(path, bytes): |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 332 | userhome = os.fsencode(userhome) |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 333 | |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 334 | return userhome + path[i:] |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 335 | |
| 336 | |
| 337 | # Expand paths containing shell variable substitutions. |
| 338 | # The following rules apply: |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 339 | # - no expansion within single quotes |
Guido van Rossum | d8faa36 | 2007-04-27 19:54:29 +0000 | [diff] [blame] | 340 | # - '$$' is translated into '$' |
| 341 | # - '%%' is translated into '%' if '%%' are not seen in %var1%%var2% |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 342 | # - ${varname} is accepted. |
Guido van Rossum | d8faa36 | 2007-04-27 19:54:29 +0000 | [diff] [blame] | 343 | # - $varname is accepted. |
| 344 | # - %varname% is accepted. |
| 345 | # - varnames can be made out of letters, digits and the characters '_-' |
Ezio Melotti | 1392500 | 2011-03-16 11:05:33 +0200 | [diff] [blame] | 346 | # (though is not verified in the ${varname} and %varname% cases) |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 347 | # XXX With COMMAND.COM you can use any characters in a variable name, |
| 348 | # XXX except '^|<>='. |
| 349 | |
Tim Peters | 2344fae | 2001-01-15 00:50:52 +0000 | [diff] [blame] | 350 | def expandvars(path): |
Guido van Rossum | d8faa36 | 2007-04-27 19:54:29 +0000 | [diff] [blame] | 351 | """Expand shell variables of the forms $var, ${var} and %var%. |
Guido van Rossum | 534972b | 1999-02-03 17:20:50 +0000 | [diff] [blame] | 352 | |
| 353 | Unknown variables are left unchanged.""" |
Brett Cannon | 3f9183b | 2016-08-26 14:44:48 -0700 | [diff] [blame] | 354 | path = os.fspath(path) |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 355 | if isinstance(path, bytes): |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 356 | if b'$' not in path and b'%' not in path: |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 357 | return path |
| 358 | import string |
| 359 | varchars = bytes(string.ascii_letters + string.digits + '_-', 'ascii') |
Amaury Forgeot d'Arc | 3b44e61 | 2008-10-03 20:32:33 +0000 | [diff] [blame] | 360 | quote = b'\'' |
| 361 | percent = b'%' |
| 362 | brace = b'{' |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 363 | rbrace = b'}' |
Amaury Forgeot d'Arc | 3b44e61 | 2008-10-03 20:32:33 +0000 | [diff] [blame] | 364 | dollar = b'$' |
Serhiy Storchaka | dbb1019 | 2014-02-13 10:13:53 +0200 | [diff] [blame] | 365 | environ = getattr(os, 'environb', None) |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 366 | else: |
| 367 | if '$' not in path and '%' not in path: |
| 368 | return path |
| 369 | import string |
| 370 | varchars = string.ascii_letters + string.digits + '_-' |
Amaury Forgeot d'Arc | 3b44e61 | 2008-10-03 20:32:33 +0000 | [diff] [blame] | 371 | quote = '\'' |
| 372 | percent = '%' |
| 373 | brace = '{' |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 374 | rbrace = '}' |
Amaury Forgeot d'Arc | 3b44e61 | 2008-10-03 20:32:33 +0000 | [diff] [blame] | 375 | dollar = '$' |
Serhiy Storchaka | dbb1019 | 2014-02-13 10:13:53 +0200 | [diff] [blame] | 376 | environ = os.environ |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 377 | res = path[:0] |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 378 | index = 0 |
| 379 | pathlen = len(path) |
| 380 | while index < pathlen: |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 381 | c = path[index:index+1] |
Amaury Forgeot d'Arc | 3b44e61 | 2008-10-03 20:32:33 +0000 | [diff] [blame] | 382 | if c == quote: # no expansion within single quotes |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 383 | path = path[index + 1:] |
| 384 | pathlen = len(path) |
| 385 | try: |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 386 | index = path.index(c) |
Georg Brandl | 599b65d | 2010-07-23 08:46:35 +0000 | [diff] [blame] | 387 | res += c + path[:index + 1] |
Fred Drake | b4e460a | 2000-09-28 16:25:20 +0000 | [diff] [blame] | 388 | except ValueError: |
Serhiy Storchaka | 1b87ae0 | 2015-03-25 16:40:15 +0200 | [diff] [blame] | 389 | res += c + path |
Fred Drake | b4e460a | 2000-09-28 16:25:20 +0000 | [diff] [blame] | 390 | index = pathlen - 1 |
Amaury Forgeot d'Arc | 3b44e61 | 2008-10-03 20:32:33 +0000 | [diff] [blame] | 391 | elif c == percent: # variable or '%' |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 392 | if path[index + 1:index + 2] == percent: |
Georg Brandl | 599b65d | 2010-07-23 08:46:35 +0000 | [diff] [blame] | 393 | res += c |
| 394 | index += 1 |
Guido van Rossum | d8faa36 | 2007-04-27 19:54:29 +0000 | [diff] [blame] | 395 | else: |
| 396 | path = path[index+1:] |
| 397 | pathlen = len(path) |
| 398 | try: |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 399 | index = path.index(percent) |
Guido van Rossum | d8faa36 | 2007-04-27 19:54:29 +0000 | [diff] [blame] | 400 | except ValueError: |
Georg Brandl | 599b65d | 2010-07-23 08:46:35 +0000 | [diff] [blame] | 401 | res += percent + path |
Guido van Rossum | d8faa36 | 2007-04-27 19:54:29 +0000 | [diff] [blame] | 402 | index = pathlen - 1 |
| 403 | else: |
| 404 | var = path[:index] |
Serhiy Storchaka | dbb1019 | 2014-02-13 10:13:53 +0200 | [diff] [blame] | 405 | try: |
| 406 | if environ is None: |
| 407 | value = os.fsencode(os.environ[os.fsdecode(var)]) |
| 408 | else: |
| 409 | value = environ[var] |
| 410 | except KeyError: |
| 411 | value = percent + var + percent |
Georg Brandl | 599b65d | 2010-07-23 08:46:35 +0000 | [diff] [blame] | 412 | res += value |
Amaury Forgeot d'Arc | 3b44e61 | 2008-10-03 20:32:33 +0000 | [diff] [blame] | 413 | elif c == dollar: # variable or '$$' |
| 414 | if path[index + 1:index + 2] == dollar: |
Georg Brandl | 599b65d | 2010-07-23 08:46:35 +0000 | [diff] [blame] | 415 | res += c |
| 416 | index += 1 |
Amaury Forgeot d'Arc | 3b44e61 | 2008-10-03 20:32:33 +0000 | [diff] [blame] | 417 | elif path[index + 1:index + 2] == brace: |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 418 | path = path[index+2:] |
| 419 | pathlen = len(path) |
| 420 | try: |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 421 | index = path.index(rbrace) |
Fred Drake | b4e460a | 2000-09-28 16:25:20 +0000 | [diff] [blame] | 422 | except ValueError: |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 423 | res += dollar + brace + path |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 424 | index = pathlen - 1 |
Serhiy Storchaka | dbb1019 | 2014-02-13 10:13:53 +0200 | [diff] [blame] | 425 | else: |
| 426 | var = path[:index] |
| 427 | try: |
| 428 | if environ is None: |
| 429 | value = os.fsencode(os.environ[os.fsdecode(var)]) |
| 430 | else: |
| 431 | value = environ[var] |
| 432 | except KeyError: |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 433 | value = dollar + brace + var + rbrace |
Serhiy Storchaka | dbb1019 | 2014-02-13 10:13:53 +0200 | [diff] [blame] | 434 | res += value |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 435 | else: |
Serhiy Storchaka | dbb1019 | 2014-02-13 10:13:53 +0200 | [diff] [blame] | 436 | var = path[:0] |
Georg Brandl | 599b65d | 2010-07-23 08:46:35 +0000 | [diff] [blame] | 437 | index += 1 |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 438 | c = path[index:index + 1] |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 439 | while c and c in varchars: |
Serhiy Storchaka | dbb1019 | 2014-02-13 10:13:53 +0200 | [diff] [blame] | 440 | var += c |
Georg Brandl | 599b65d | 2010-07-23 08:46:35 +0000 | [diff] [blame] | 441 | index += 1 |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 442 | c = path[index:index + 1] |
Serhiy Storchaka | dbb1019 | 2014-02-13 10:13:53 +0200 | [diff] [blame] | 443 | try: |
| 444 | if environ is None: |
| 445 | value = os.fsencode(os.environ[os.fsdecode(var)]) |
| 446 | else: |
| 447 | value = environ[var] |
| 448 | except KeyError: |
| 449 | value = dollar + var |
Georg Brandl | 599b65d | 2010-07-23 08:46:35 +0000 | [diff] [blame] | 450 | res += value |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 451 | if c: |
Georg Brandl | 599b65d | 2010-07-23 08:46:35 +0000 | [diff] [blame] | 452 | index -= 1 |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 453 | else: |
Georg Brandl | 599b65d | 2010-07-23 08:46:35 +0000 | [diff] [blame] | 454 | res += c |
| 455 | index += 1 |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 456 | return res |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 457 | |
| 458 | |
Tim Peters | 54a14a3 | 2001-08-30 22:05:26 +0000 | [diff] [blame] | 459 | # Normalize a path, e.g. A//B, A/./B and A/foo/../B all become A\B. |
Guido van Rossum | 3df7b5a | 1996-08-26 16:35:26 +0000 | [diff] [blame] | 460 | # Previously, this function also truncated pathnames to 8+3 format, |
| 461 | # but as this module is called "ntpath", that's obviously wrong! |
Guido van Rossum | 555915a | 1994-02-24 11:32:59 +0000 | [diff] [blame] | 462 | |
| 463 | def normpath(path): |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 464 | """Normalize path, eliminating double slashes, etc.""" |
Brett Cannon | 3f9183b | 2016-08-26 14:44:48 -0700 | [diff] [blame] | 465 | path = os.fspath(path) |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 466 | if isinstance(path, bytes): |
| 467 | sep = b'\\' |
| 468 | altsep = b'/' |
| 469 | curdir = b'.' |
| 470 | pardir = b'..' |
| 471 | special_prefixes = (b'\\\\.\\', b'\\\\?\\') |
| 472 | else: |
| 473 | sep = '\\' |
| 474 | altsep = '/' |
| 475 | curdir = '.' |
| 476 | pardir = '..' |
| 477 | special_prefixes = ('\\\\.\\', '\\\\?\\') |
Georg Brandl | cfb6821 | 2010-07-31 21:40:15 +0000 | [diff] [blame] | 478 | if path.startswith(special_prefixes): |
| 479 | # in the case of paths with these prefixes: |
| 480 | # \\.\ -> device names |
| 481 | # \\?\ -> literal paths |
Steve Dower | 06be2c7 | 2019-08-21 16:45:02 -0700 | [diff] [blame] | 482 | # do not do any normalization, but return the path |
| 483 | # unchanged apart from the call to os.fspath() |
Georg Brandl | cfb6821 | 2010-07-31 21:40:15 +0000 | [diff] [blame] | 484 | return path |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 485 | path = path.replace(altsep, sep) |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 486 | prefix, path = splitdrive(path) |
Mark Hammond | 5a607a3 | 2009-05-06 08:04:54 +0000 | [diff] [blame] | 487 | |
| 488 | # collapse initial backslashes |
| 489 | if path.startswith(sep): |
Georg Brandl | 599b65d | 2010-07-23 08:46:35 +0000 | [diff] [blame] | 490 | prefix += sep |
Mark Hammond | 5a607a3 | 2009-05-06 08:04:54 +0000 | [diff] [blame] | 491 | path = path.lstrip(sep) |
| 492 | |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 493 | comps = path.split(sep) |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 494 | i = 0 |
| 495 | while i < len(comps): |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 496 | if not comps[i] or comps[i] == curdir: |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 497 | del comps[i] |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 498 | elif comps[i] == pardir: |
| 499 | if i > 0 and comps[i-1] != pardir: |
Tim Peters | 54a14a3 | 2001-08-30 22:05:26 +0000 | [diff] [blame] | 500 | del comps[i-1:i+1] |
| 501 | i -= 1 |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 502 | elif i == 0 and prefix.endswith(sep): |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 503 | del comps[i] |
| 504 | else: |
| 505 | i += 1 |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 506 | else: |
Tim Peters | 54a14a3 | 2001-08-30 22:05:26 +0000 | [diff] [blame] | 507 | i += 1 |
Guido van Rossum | 15e22e1 | 1997-12-05 19:03:01 +0000 | [diff] [blame] | 508 | # If the path is now empty, substitute '.' |
| 509 | if not prefix and not comps: |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 510 | comps.append(curdir) |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 511 | return prefix + sep.join(comps) |
Guido van Rossum | e294cf6 | 1999-01-29 18:05:18 +0000 | [diff] [blame] | 512 | |
Franz Wöllert | d2e902e | 2018-07-29 14:47:09 +0200 | [diff] [blame] | 513 | def _abspath_fallback(path): |
| 514 | """Return the absolute version of a path as a fallback function in case |
| 515 | `nt._getfullpathname` is not available or raises OSError. See bpo-31047 for |
| 516 | more. |
| 517 | |
| 518 | """ |
| 519 | |
| 520 | path = os.fspath(path) |
| 521 | if not isabs(path): |
| 522 | if isinstance(path, bytes): |
| 523 | cwd = os.getcwdb() |
| 524 | else: |
| 525 | cwd = os.getcwd() |
| 526 | path = join(cwd, path) |
| 527 | return normpath(path) |
Guido van Rossum | e294cf6 | 1999-01-29 18:05:18 +0000 | [diff] [blame] | 528 | |
| 529 | # Return an absolute path. |
Thomas Wouters | 477c8d5 | 2006-05-27 19:21:47 +0000 | [diff] [blame] | 530 | try: |
| 531 | from nt import _getfullpathname |
Mark Hammond | f717f05 | 2002-01-17 00:44:26 +0000 | [diff] [blame] | 532 | |
Brett Cannon | cd171c8 | 2013-07-04 17:43:24 -0400 | [diff] [blame] | 533 | except ImportError: # not running on Windows - mock up something sensible |
Franz Wöllert | d2e902e | 2018-07-29 14:47:09 +0200 | [diff] [blame] | 534 | abspath = _abspath_fallback |
Thomas Wouters | 477c8d5 | 2006-05-27 19:21:47 +0000 | [diff] [blame] | 535 | |
| 536 | else: # use native Windows method on Windows |
| 537 | def abspath(path): |
| 538 | """Return the absolute version of a path.""" |
Franz Wöllert | d2e902e | 2018-07-29 14:47:09 +0200 | [diff] [blame] | 539 | try: |
Tim Graham | d03b775 | 2018-10-25 11:26:38 -0400 | [diff] [blame] | 540 | return normpath(_getfullpathname(path)) |
Serhiy Storchaka | 0185f34 | 2018-09-18 11:28:51 +0300 | [diff] [blame] | 541 | except (OSError, ValueError): |
Franz Wöllert | d2e902e | 2018-07-29 14:47:09 +0200 | [diff] [blame] | 542 | return _abspath_fallback(path) |
Guido van Rossum | 83eeef4 | 2001-09-17 15:16:09 +0000 | [diff] [blame] | 543 | |
Steve Dower | 75e0649 | 2019-08-21 13:43:06 -0700 | [diff] [blame] | 544 | try: |
| 545 | from nt import _getfinalpathname, readlink as _nt_readlink |
| 546 | except ImportError: |
| 547 | # realpath is a no-op on systems without _getfinalpathname support. |
| 548 | realpath = abspath |
| 549 | else: |
Steve Dower | abde52c | 2019-11-15 09:49:21 -0800 | [diff] [blame] | 550 | def _readlink_deep(path): |
Steve Dower | 89b8933 | 2019-09-16 15:25:11 +0100 | [diff] [blame] | 551 | # These error codes indicate that we should stop reading links and |
| 552 | # return the path we currently have. |
| 553 | # 1: ERROR_INVALID_FUNCTION |
| 554 | # 2: ERROR_FILE_NOT_FOUND |
| 555 | # 3: ERROR_DIRECTORY_NOT_FOUND |
| 556 | # 5: ERROR_ACCESS_DENIED |
| 557 | # 21: ERROR_NOT_READY (implies drive with no media) |
| 558 | # 32: ERROR_SHARING_VIOLATION (probably an NTFS paging file) |
| 559 | # 50: ERROR_NOT_SUPPORTED (implies no support for reparse points) |
| 560 | # 67: ERROR_BAD_NET_NAME (implies remote server unavailable) |
| 561 | # 87: ERROR_INVALID_PARAMETER |
| 562 | # 4390: ERROR_NOT_A_REPARSE_POINT |
| 563 | # 4392: ERROR_INVALID_REPARSE_DATA |
| 564 | # 4393: ERROR_REPARSE_TAG_INVALID |
| 565 | allowed_winerror = 1, 2, 3, 5, 21, 32, 50, 67, 87, 4390, 4392, 4393 |
| 566 | |
Steve Dower | abde52c | 2019-11-15 09:49:21 -0800 | [diff] [blame] | 567 | seen = set() |
Steve Dower | 75e0649 | 2019-08-21 13:43:06 -0700 | [diff] [blame] | 568 | while normcase(path) not in seen: |
| 569 | seen.add(normcase(path)) |
| 570 | try: |
Steve Dower | abde52c | 2019-11-15 09:49:21 -0800 | [diff] [blame] | 571 | old_path = path |
Steve Dower | 75e0649 | 2019-08-21 13:43:06 -0700 | [diff] [blame] | 572 | path = _nt_readlink(path) |
Steve Dower | abde52c | 2019-11-15 09:49:21 -0800 | [diff] [blame] | 573 | # Links may be relative, so resolve them against their |
| 574 | # own location |
| 575 | if not isabs(path): |
| 576 | # If it's something other than a symlink, we don't know |
| 577 | # what it's actually going to be resolved against, so |
| 578 | # just return the old path. |
| 579 | if not islink(old_path): |
| 580 | path = old_path |
| 581 | break |
| 582 | path = normpath(join(dirname(old_path), path)) |
Steve Dower | 75e0649 | 2019-08-21 13:43:06 -0700 | [diff] [blame] | 583 | except OSError as ex: |
Steve Dower | 89b8933 | 2019-09-16 15:25:11 +0100 | [diff] [blame] | 584 | if ex.winerror in allowed_winerror: |
Steve Dower | 75e0649 | 2019-08-21 13:43:06 -0700 | [diff] [blame] | 585 | break |
| 586 | raise |
| 587 | except ValueError: |
| 588 | # Stop on reparse points that are not symlinks |
| 589 | break |
| 590 | return path |
| 591 | |
| 592 | def _getfinalpathname_nonstrict(path): |
Steve Dower | 89b8933 | 2019-09-16 15:25:11 +0100 | [diff] [blame] | 593 | # These error codes indicate that we should stop resolving the path |
| 594 | # and return the value we currently have. |
| 595 | # 1: ERROR_INVALID_FUNCTION |
| 596 | # 2: ERROR_FILE_NOT_FOUND |
| 597 | # 3: ERROR_DIRECTORY_NOT_FOUND |
| 598 | # 5: ERROR_ACCESS_DENIED |
| 599 | # 21: ERROR_NOT_READY (implies drive with no media) |
| 600 | # 32: ERROR_SHARING_VIOLATION (probably an NTFS paging file) |
| 601 | # 50: ERROR_NOT_SUPPORTED |
| 602 | # 67: ERROR_BAD_NET_NAME (implies remote server unavailable) |
| 603 | # 87: ERROR_INVALID_PARAMETER |
| 604 | # 123: ERROR_INVALID_NAME |
Steve Dower | a0e3d27 | 2019-10-03 08:31:03 -0700 | [diff] [blame] | 605 | # 1920: ERROR_CANT_ACCESS_FILE |
Steve Dower | 89b8933 | 2019-09-16 15:25:11 +0100 | [diff] [blame] | 606 | # 1921: ERROR_CANT_RESOLVE_FILENAME (implies unfollowable symlink) |
Steve Dower | a0e3d27 | 2019-10-03 08:31:03 -0700 | [diff] [blame] | 607 | allowed_winerror = 1, 2, 3, 5, 21, 32, 50, 67, 87, 123, 1920, 1921 |
Steve Dower | 75e0649 | 2019-08-21 13:43:06 -0700 | [diff] [blame] | 608 | |
| 609 | # Non-strict algorithm is to find as much of the target directory |
| 610 | # as we can and join the rest. |
| 611 | tail = '' |
Steve Dower | 75e0649 | 2019-08-21 13:43:06 -0700 | [diff] [blame] | 612 | while path: |
| 613 | try: |
Steve Dower | 75e0649 | 2019-08-21 13:43:06 -0700 | [diff] [blame] | 614 | path = _getfinalpathname(path) |
| 615 | return join(path, tail) if tail else path |
| 616 | except OSError as ex: |
| 617 | if ex.winerror not in allowed_winerror: |
| 618 | raise |
Steve Dower | abde52c | 2019-11-15 09:49:21 -0800 | [diff] [blame] | 619 | try: |
| 620 | # The OS could not resolve this path fully, so we attempt |
| 621 | # to follow the link ourselves. If we succeed, join the tail |
| 622 | # and return. |
| 623 | new_path = _readlink_deep(path) |
| 624 | if new_path != path: |
| 625 | return join(new_path, tail) if tail else new_path |
| 626 | except OSError: |
| 627 | # If we fail to readlink(), let's keep traversing |
| 628 | pass |
Steve Dower | 75e0649 | 2019-08-21 13:43:06 -0700 | [diff] [blame] | 629 | path, name = split(path) |
Steve Dower | 89b8933 | 2019-09-16 15:25:11 +0100 | [diff] [blame] | 630 | # TODO (bpo-38186): Request the real file name from the directory |
| 631 | # entry using FindFirstFileW. For now, we will return the path |
| 632 | # as best we have it |
Steve Dower | 75e0649 | 2019-08-21 13:43:06 -0700 | [diff] [blame] | 633 | if path and not name: |
Steve Dower | abde52c | 2019-11-15 09:49:21 -0800 | [diff] [blame] | 634 | return path + tail |
Steve Dower | 75e0649 | 2019-08-21 13:43:06 -0700 | [diff] [blame] | 635 | tail = join(name, tail) if tail else name |
Steve Dower | abde52c | 2019-11-15 09:49:21 -0800 | [diff] [blame] | 636 | return tail |
Steve Dower | 75e0649 | 2019-08-21 13:43:06 -0700 | [diff] [blame] | 637 | |
Barney Gale | baecfbd | 2021-04-28 16:50:17 +0100 | [diff] [blame] | 638 | def realpath(path, *, strict=False): |
Steve Dower | 06be2c7 | 2019-08-21 16:45:02 -0700 | [diff] [blame] | 639 | path = normpath(path) |
Steve Dower | 75e0649 | 2019-08-21 13:43:06 -0700 | [diff] [blame] | 640 | if isinstance(path, bytes): |
| 641 | prefix = b'\\\\?\\' |
| 642 | unc_prefix = b'\\\\?\\UNC\\' |
| 643 | new_unc_prefix = b'\\\\' |
| 644 | cwd = os.getcwdb() |
Steve Dower | abde52c | 2019-11-15 09:49:21 -0800 | [diff] [blame] | 645 | # bpo-38081: Special case for realpath(b'nul') |
| 646 | if normcase(path) == normcase(os.fsencode(devnull)): |
| 647 | return b'\\\\.\\NUL' |
Steve Dower | 75e0649 | 2019-08-21 13:43:06 -0700 | [diff] [blame] | 648 | else: |
| 649 | prefix = '\\\\?\\' |
| 650 | unc_prefix = '\\\\?\\UNC\\' |
| 651 | new_unc_prefix = '\\\\' |
| 652 | cwd = os.getcwd() |
Steve Dower | abde52c | 2019-11-15 09:49:21 -0800 | [diff] [blame] | 653 | # bpo-38081: Special case for realpath('nul') |
| 654 | if normcase(path) == normcase(devnull): |
| 655 | return '\\\\.\\NUL' |
Steve Dower | 75e0649 | 2019-08-21 13:43:06 -0700 | [diff] [blame] | 656 | had_prefix = path.startswith(prefix) |
Steve Dower | abde52c | 2019-11-15 09:49:21 -0800 | [diff] [blame] | 657 | if not had_prefix and not isabs(path): |
| 658 | path = join(cwd, path) |
Steve Dower | a0e3d27 | 2019-10-03 08:31:03 -0700 | [diff] [blame] | 659 | try: |
| 660 | path = _getfinalpathname(path) |
| 661 | initial_winerror = 0 |
| 662 | except OSError as ex: |
Barney Gale | baecfbd | 2021-04-28 16:50:17 +0100 | [diff] [blame] | 663 | if strict: |
| 664 | raise |
Steve Dower | a0e3d27 | 2019-10-03 08:31:03 -0700 | [diff] [blame] | 665 | initial_winerror = ex.winerror |
| 666 | path = _getfinalpathname_nonstrict(path) |
Steve Dower | 75e0649 | 2019-08-21 13:43:06 -0700 | [diff] [blame] | 667 | # The path returned by _getfinalpathname will always start with \\?\ - |
| 668 | # strip off that prefix unless it was already provided on the original |
| 669 | # path. |
| 670 | if not had_prefix and path.startswith(prefix): |
| 671 | # For UNC paths, the prefix will actually be \\?\UNC\ |
| 672 | # Handle that case as well. |
| 673 | if path.startswith(unc_prefix): |
| 674 | spath = new_unc_prefix + path[len(unc_prefix):] |
| 675 | else: |
| 676 | spath = path[len(prefix):] |
| 677 | # Ensure that the non-prefixed path resolves to the same path |
| 678 | try: |
| 679 | if _getfinalpathname(spath) == path: |
| 680 | path = spath |
| 681 | except OSError as ex: |
Steve Dower | 06be2c7 | 2019-08-21 16:45:02 -0700 | [diff] [blame] | 682 | # If the path does not exist and originally did not exist, then |
| 683 | # strip the prefix anyway. |
Steve Dower | a0e3d27 | 2019-10-03 08:31:03 -0700 | [diff] [blame] | 684 | if ex.winerror == initial_winerror: |
Steve Dower | 06be2c7 | 2019-08-21 16:45:02 -0700 | [diff] [blame] | 685 | path = spath |
Steve Dower | 75e0649 | 2019-08-21 13:43:06 -0700 | [diff] [blame] | 686 | return path |
| 687 | |
| 688 | |
Mark Hammond | 8696ebc | 2002-10-08 02:44:31 +0000 | [diff] [blame] | 689 | # Win9x family and earlier have no Unicode filename support. |
Tim Peters | 26bc25a | 2002-10-09 07:56:04 +0000 | [diff] [blame] | 690 | supports_unicode_filenames = (hasattr(sys, "getwindowsversion") and |
| 691 | sys.getwindowsversion()[3] >= 2) |
Guido van Rossum | d8faa36 | 2007-04-27 19:54:29 +0000 | [diff] [blame] | 692 | |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 693 | def relpath(path, start=None): |
Guido van Rossum | d8faa36 | 2007-04-27 19:54:29 +0000 | [diff] [blame] | 694 | """Return a relative version of a path""" |
Brett Cannon | 3f9183b | 2016-08-26 14:44:48 -0700 | [diff] [blame] | 695 | path = os.fspath(path) |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 696 | if isinstance(path, bytes): |
| 697 | sep = b'\\' |
| 698 | curdir = b'.' |
| 699 | pardir = b'..' |
| 700 | else: |
| 701 | sep = '\\' |
| 702 | curdir = '.' |
| 703 | pardir = '..' |
Amaury Forgeot d'Arc | c72ef8b | 2008-10-03 18:38:26 +0000 | [diff] [blame] | 704 | |
Serhiy Storchaka | 8518b79 | 2014-07-23 20:43:13 +0300 | [diff] [blame] | 705 | if start is None: |
| 706 | start = curdir |
Guido van Rossum | d8faa36 | 2007-04-27 19:54:29 +0000 | [diff] [blame] | 707 | |
| 708 | if not path: |
| 709 | raise ValueError("no path specified") |
Mark Hammond | 5a607a3 | 2009-05-06 08:04:54 +0000 | [diff] [blame] | 710 | |
Brett Cannon | 3f9183b | 2016-08-26 14:44:48 -0700 | [diff] [blame] | 711 | start = os.fspath(start) |
Serhiy Storchaka | 3deeeb0 | 2014-10-04 14:58:43 +0300 | [diff] [blame] | 712 | try: |
| 713 | start_abs = abspath(normpath(start)) |
| 714 | path_abs = abspath(normpath(path)) |
| 715 | start_drive, start_rest = splitdrive(start_abs) |
| 716 | path_drive, path_rest = splitdrive(path_abs) |
| 717 | if normcase(start_drive) != normcase(path_drive): |
| 718 | raise ValueError("path is on mount %r, start on mount %r" % ( |
| 719 | path_drive, start_drive)) |
Mark Hammond | 5a607a3 | 2009-05-06 08:04:54 +0000 | [diff] [blame] | 720 | |
Serhiy Storchaka | 3deeeb0 | 2014-10-04 14:58:43 +0300 | [diff] [blame] | 721 | start_list = [x for x in start_rest.split(sep) if x] |
| 722 | path_list = [x for x in path_rest.split(sep) if x] |
| 723 | # Work out how much of the filepath is shared by start and path. |
| 724 | i = 0 |
| 725 | for e1, e2 in zip(start_list, path_list): |
| 726 | if normcase(e1) != normcase(e2): |
| 727 | break |
| 728 | i += 1 |
Guido van Rossum | d8faa36 | 2007-04-27 19:54:29 +0000 | [diff] [blame] | 729 | |
Serhiy Storchaka | 3deeeb0 | 2014-10-04 14:58:43 +0300 | [diff] [blame] | 730 | rel_list = [pardir] * (len(start_list)-i) + path_list[i:] |
| 731 | if not rel_list: |
| 732 | return curdir |
| 733 | return join(*rel_list) |
Serhiy Storchaka | e4f4708 | 2014-10-04 16:09:02 +0300 | [diff] [blame] | 734 | except (TypeError, ValueError, AttributeError, BytesWarning, DeprecationWarning): |
Serhiy Storchaka | 3deeeb0 | 2014-10-04 14:58:43 +0300 | [diff] [blame] | 735 | genericpath._check_arg_types('relpath', path, start) |
| 736 | raise |
Brian Curtin | d40e6f7 | 2010-07-08 21:39:08 +0000 | [diff] [blame] | 737 | |
| 738 | |
Serhiy Storchaka | 3822093 | 2015-03-31 15:31:53 +0300 | [diff] [blame] | 739 | # Return the longest common sub-path of the sequence of paths given as input. |
| 740 | # The function is case-insensitive and 'separator-insensitive', i.e. if the |
| 741 | # only difference between two paths is the use of '\' versus '/' as separator, |
| 742 | # they are deemed to be equal. |
| 743 | # |
| 744 | # However, the returned path will have the standard '\' separator (even if the |
| 745 | # given paths had the alternative '/' separator) and will have the case of the |
| 746 | # first path given in the sequence. Additionally, any trailing separator is |
| 747 | # stripped from the returned path. |
| 748 | |
| 749 | def commonpath(paths): |
| 750 | """Given a sequence of path names, returns the longest common sub-path.""" |
| 751 | |
| 752 | if not paths: |
| 753 | raise ValueError('commonpath() arg is an empty sequence') |
| 754 | |
Brett Cannon | 3f9183b | 2016-08-26 14:44:48 -0700 | [diff] [blame] | 755 | paths = tuple(map(os.fspath, paths)) |
Serhiy Storchaka | 3822093 | 2015-03-31 15:31:53 +0300 | [diff] [blame] | 756 | if isinstance(paths[0], bytes): |
| 757 | sep = b'\\' |
| 758 | altsep = b'/' |
| 759 | curdir = b'.' |
| 760 | else: |
| 761 | sep = '\\' |
| 762 | altsep = '/' |
| 763 | curdir = '.' |
| 764 | |
| 765 | try: |
| 766 | drivesplits = [splitdrive(p.replace(altsep, sep).lower()) for p in paths] |
| 767 | split_paths = [p.split(sep) for d, p in drivesplits] |
| 768 | |
| 769 | try: |
| 770 | isabs, = set(p[:1] == sep for d, p in drivesplits) |
| 771 | except ValueError: |
| 772 | raise ValueError("Can't mix absolute and relative paths") from None |
| 773 | |
| 774 | # Check that all drive letters or UNC paths match. The check is made only |
| 775 | # now otherwise type errors for mixing strings and bytes would not be |
| 776 | # caught. |
| 777 | if len(set(d for d, p in drivesplits)) != 1: |
| 778 | raise ValueError("Paths don't have the same drive") |
| 779 | |
| 780 | drive, path = splitdrive(paths[0].replace(altsep, sep)) |
| 781 | common = path.split(sep) |
| 782 | common = [c for c in common if c and c != curdir] |
| 783 | |
| 784 | split_paths = [[c for c in s if c and c != curdir] for s in split_paths] |
| 785 | s1 = min(split_paths) |
| 786 | s2 = max(split_paths) |
| 787 | for i, c in enumerate(s1): |
| 788 | if c != s2[i]: |
| 789 | common = common[:i] |
| 790 | break |
| 791 | else: |
| 792 | common = common[:len(s1)] |
| 793 | |
| 794 | prefix = drive + sep if isabs else drive |
| 795 | return prefix + sep.join(common) |
| 796 | except (TypeError, AttributeError): |
| 797 | genericpath._check_arg_types('commonpath', *paths) |
| 798 | raise |
| 799 | |
| 800 | |
Brian Curtin | 9c669cc | 2011-06-08 18:17:18 -0500 | [diff] [blame] | 801 | try: |
| 802 | # The genericpath.isdir implementation uses os.stat and checks the mode |
| 803 | # attribute to tell whether or not the path is a directory. |
| 804 | # This is overkill on Windows - just pass the path to GetFileAttributes |
| 805 | # and check the attribute from there. |
Brian Curtin | 95d028f | 2011-06-09 09:10:38 -0500 | [diff] [blame] | 806 | from nt import _isdir as isdir |
Brett Cannon | cd171c8 | 2013-07-04 17:43:24 -0400 | [diff] [blame] | 807 | except ImportError: |
Brian Curtin | 95d028f | 2011-06-09 09:10:38 -0500 | [diff] [blame] | 808 | # Use genericpath.isdir as imported above. |
| 809 | pass |