1996-07-23 03:47:28 +00:00
|
|
|
# Module 'posixpath' -- common operations on Posix pathnames.
|
|
|
|
# Some of this can actually be useful on non-Posix systems too, e.g.
|
|
|
|
# for manipulation of the pathname component of URLs.
|
|
|
|
# The "os.path" name is an alias for this module on Posix systems;
|
|
|
|
# on other systems (e.g. Mac, Windows), os.path provides the same
|
|
|
|
# operations in a manner specific to that platform, and is an alias
|
|
|
|
# to another module (e.g. macpath, ntpath).
|
|
|
|
|
|
|
|
import os
|
1990-10-21 16:17:34 +00:00
|
|
|
import stat
|
1990-10-13 19:23:40 +00:00
|
|
|
|
|
|
|
|
1992-01-14 18:29:32 +00:00
|
|
|
# Normalize the case of a pathname. Trivial in Posix, string.lower on Mac.
|
|
|
|
# On MS-DOS this may also turn slashes into backslashes; however, other
|
|
|
|
# normalizations (such as optimizing '../' away) are not allowed
|
|
|
|
# (another function should be defined to do that).
|
|
|
|
|
|
|
|
def normcase(s):
|
|
|
|
return s
|
|
|
|
|
|
|
|
|
|
|
|
# Return wheter a path is absolute.
|
|
|
|
# Trivial in Posix, harder on the Mac or MS-DOS.
|
|
|
|
|
|
|
|
def isabs(s):
|
|
|
|
return s[:1] == '/'
|
|
|
|
|
|
|
|
|
1997-02-18 21:53:25 +00:00
|
|
|
# Join pathnames.
|
|
|
|
# Ignore the previous parts if a part is absolute.
|
1991-08-16 13:27:58 +00:00
|
|
|
# Insert a '/' unless the first part is empty or already ends in '/'.
|
1992-01-14 18:29:32 +00:00
|
|
|
|
1997-02-18 21:53:25 +00:00
|
|
|
def join(a, *p):
|
|
|
|
path = a
|
|
|
|
for b in p:
|
|
|
|
if b[:1] == '/':
|
|
|
|
path = b
|
|
|
|
elif path == '' or path[-1:] == '/':
|
|
|
|
path = path + b
|
|
|
|
else:
|
|
|
|
path = path + '/' + b
|
|
|
|
return path
|
1990-10-13 19:23:40 +00:00
|
|
|
|
|
|
|
|
1992-03-31 18:54:35 +00:00
|
|
|
# Split a path in head (everything up to the last '/') and tail (the
|
1995-09-01 20:32:21 +00:00
|
|
|
# rest). If the path ends in '/', tail will be empty. If there is no
|
|
|
|
# '/' in the path, head will be empty.
|
|
|
|
# Trailing '/'es are stripped from head unless it is the root.
|
1992-01-14 18:29:32 +00:00
|
|
|
|
1990-10-13 19:23:40 +00:00
|
|
|
def split(p):
|
1995-09-01 20:32:21 +00:00
|
|
|
import string
|
|
|
|
i = string.rfind(p, '/') + 1
|
|
|
|
head, tail = p[:i], p[i:]
|
|
|
|
if head and head <> '/'*len(head):
|
1992-03-31 18:54:35 +00:00
|
|
|
while head[-1] == '/':
|
|
|
|
head = head[:-1]
|
1990-10-13 19:23:40 +00:00
|
|
|
return head, tail
|
|
|
|
|
|
|
|
|
1991-08-16 13:27:58 +00:00
|
|
|
# Split a path in root and extension.
|
1996-08-20 20:24:17 +00:00
|
|
|
# The extension is everything starting at the last dot in the last
|
1991-08-16 13:27:58 +00:00
|
|
|
# pathname component; the root is everything before that.
|
1992-01-14 18:29:32 +00:00
|
|
|
# It is always true that root + ext == p.
|
|
|
|
|
1991-08-16 13:27:58 +00:00
|
|
|
def splitext(p):
|
|
|
|
root, ext = '', ''
|
|
|
|
for c in p:
|
1992-01-01 19:35:13 +00:00
|
|
|
if c == '/':
|
1991-08-16 13:27:58 +00:00
|
|
|
root, ext = root + ext + c, ''
|
1994-12-14 15:29:17 +00:00
|
|
|
elif c == '.':
|
|
|
|
if ext:
|
|
|
|
root, ext = root + ext, c
|
|
|
|
else:
|
|
|
|
ext = c
|
|
|
|
elif ext:
|
1991-08-16 13:27:58 +00:00
|
|
|
ext = ext + c
|
|
|
|
else:
|
|
|
|
root = root + c
|
|
|
|
return root, ext
|
|
|
|
|
|
|
|
|
1995-08-07 20:17:55 +00:00
|
|
|
# Split a pathname into a drive specification and the rest of the
|
|
|
|
# path. Useful on DOS/Windows/NT; on Unix, the drive is always empty.
|
|
|
|
|
|
|
|
def splitdrive(p):
|
|
|
|
return '', p
|
|
|
|
|
|
|
|
|
1990-10-13 19:23:40 +00:00
|
|
|
# Return the tail (basename) part of a path.
|
1992-01-14 18:29:32 +00:00
|
|
|
|
1990-10-13 19:23:40 +00:00
|
|
|
def basename(p):
|
|
|
|
return split(p)[1]
|
|
|
|
|
|
|
|
|
1992-11-05 10:43:02 +00:00
|
|
|
# Return the head (dirname) part of a path.
|
|
|
|
|
|
|
|
def dirname(p):
|
|
|
|
return split(p)[0]
|
|
|
|
|
|
|
|
|
1990-10-13 19:23:40 +00:00
|
|
|
# Return the longest prefix of all list elements.
|
1992-01-14 18:29:32 +00:00
|
|
|
|
1990-10-13 19:23:40 +00:00
|
|
|
def commonprefix(m):
|
|
|
|
if not m: return ''
|
|
|
|
prefix = m[0]
|
|
|
|
for item in m:
|
|
|
|
for i in range(len(prefix)):
|
|
|
|
if prefix[:i+1] <> item[:i+1]:
|
|
|
|
prefix = prefix[:i]
|
1992-01-01 19:35:13 +00:00
|
|
|
if i == 0: return ''
|
1990-10-13 19:23:40 +00:00
|
|
|
break
|
|
|
|
return prefix
|
|
|
|
|
|
|
|
|
1992-01-14 18:29:32 +00:00
|
|
|
# Is a path a symbolic link?
|
1996-07-23 03:47:28 +00:00
|
|
|
# This will always return false on systems where os.lstat doesn't exist.
|
1992-01-14 18:29:32 +00:00
|
|
|
|
|
|
|
def islink(path):
|
|
|
|
try:
|
1996-07-23 03:47:28 +00:00
|
|
|
st = os.lstat(path)
|
|
|
|
except (os.error, AttributeError):
|
1992-01-14 18:29:32 +00:00
|
|
|
return 0
|
|
|
|
return stat.S_ISLNK(st[stat.ST_MODE])
|
|
|
|
|
|
|
|
|
|
|
|
# Does a path exist?
|
|
|
|
# This is false for dangling symbolic links.
|
|
|
|
|
1990-10-13 19:23:40 +00:00
|
|
|
def exists(path):
|
|
|
|
try:
|
1996-07-23 03:47:28 +00:00
|
|
|
st = os.stat(path)
|
|
|
|
except os.error:
|
1990-10-13 19:23:40 +00:00
|
|
|
return 0
|
|
|
|
return 1
|
|
|
|
|
|
|
|
|
1996-07-23 03:47:28 +00:00
|
|
|
# Is a path a directory?
|
1992-01-14 18:29:32 +00:00
|
|
|
# This follows symbolic links, so both islink() and isdir() can be true
|
|
|
|
# for the same path.
|
|
|
|
|
1990-10-13 19:23:40 +00:00
|
|
|
def isdir(path):
|
|
|
|
try:
|
1996-07-23 03:47:28 +00:00
|
|
|
st = os.stat(path)
|
|
|
|
except os.error:
|
1990-10-13 19:23:40 +00:00
|
|
|
return 0
|
1990-10-21 16:17:34 +00:00
|
|
|
return stat.S_ISDIR(st[stat.ST_MODE])
|
1990-10-13 19:23:40 +00:00
|
|
|
|
|
|
|
|
1992-03-31 18:54:35 +00:00
|
|
|
# Is a path a regular file?
|
1994-08-01 11:34:53 +00:00
|
|
|
# This follows symbolic links, so both islink() and isfile() can be true
|
1992-01-14 18:29:32 +00:00
|
|
|
# for the same path.
|
|
|
|
|
|
|
|
def isfile(path):
|
1990-10-13 19:23:40 +00:00
|
|
|
try:
|
1996-07-23 03:47:28 +00:00
|
|
|
st = os.stat(path)
|
|
|
|
except os.error:
|
1990-10-13 19:23:40 +00:00
|
|
|
return 0
|
1992-01-14 18:29:32 +00:00
|
|
|
return stat.S_ISREG(st[stat.ST_MODE])
|
1990-10-13 19:23:40 +00:00
|
|
|
|
|
|
|
|
1991-11-12 15:37:40 +00:00
|
|
|
# Are two filenames really pointing to the same file?
|
1992-01-14 18:29:32 +00:00
|
|
|
|
1991-11-12 15:37:40 +00:00
|
|
|
def samefile(f1, f2):
|
1996-07-23 03:47:28 +00:00
|
|
|
s1 = os.stat(f1)
|
|
|
|
s2 = os.stat(f2)
|
1991-11-12 15:37:40 +00:00
|
|
|
return samestat(s1, s2)
|
|
|
|
|
|
|
|
|
|
|
|
# Are two open files really referencing the same file?
|
|
|
|
# (Not necessarily the same file descriptor!)
|
1992-01-14 18:29:32 +00:00
|
|
|
|
1991-11-12 15:37:40 +00:00
|
|
|
def sameopenfile(fp1, fp2):
|
1996-07-23 03:47:28 +00:00
|
|
|
s1 = os.fstat(fp1)
|
|
|
|
s2 = os.fstat(fp2)
|
1991-11-12 15:37:40 +00:00
|
|
|
return samestat(s1, s2)
|
|
|
|
|
|
|
|
|
|
|
|
# Are two stat buffers (obtained from stat, fstat or lstat)
|
|
|
|
# describing the same file?
|
1992-01-14 18:29:32 +00:00
|
|
|
|
1991-11-12 15:37:40 +00:00
|
|
|
def samestat(s1, s2):
|
1992-01-01 19:35:13 +00:00
|
|
|
return s1[stat.ST_INO] == s2[stat.ST_INO] and \
|
1992-05-06 11:36:49 +00:00
|
|
|
s1[stat.ST_DEV] == s2[stat.ST_DEV]
|
1990-10-13 19:23:40 +00:00
|
|
|
|
|
|
|
|
|
|
|
# Is a path a mount point?
|
1996-07-23 03:47:28 +00:00
|
|
|
# (Does this work for all UNIXes? Is it even guaranteed to work by Posix?)
|
1992-01-14 18:29:32 +00:00
|
|
|
|
1990-10-13 19:23:40 +00:00
|
|
|
def ismount(path):
|
1992-05-06 11:36:49 +00:00
|
|
|
try:
|
1996-07-23 03:47:28 +00:00
|
|
|
s1 = os.stat(path)
|
|
|
|
s2 = os.stat(join(path, '..'))
|
|
|
|
except os.error:
|
1992-05-06 11:36:49 +00:00
|
|
|
return 0 # It doesn't exist -- so not a mount point :-)
|
|
|
|
dev1 = s1[stat.ST_DEV]
|
|
|
|
dev2 = s2[stat.ST_DEV]
|
|
|
|
if dev1 != dev2:
|
|
|
|
return 1 # path/.. on a different device as path
|
|
|
|
ino1 = s1[stat.ST_INO]
|
|
|
|
ino2 = s2[stat.ST_INO]
|
|
|
|
if ino1 == ino2:
|
|
|
|
return 1 # path/.. is the same i-node as path
|
|
|
|
return 0
|
1990-10-13 19:23:40 +00:00
|
|
|
|
|
|
|
|
|
|
|
# Directory tree walk.
|
1992-01-14 18:29:32 +00:00
|
|
|
# For each directory under top (including top itself, but excluding
|
|
|
|
# '.' and '..'), func(arg, dirname, filenames) is called, where
|
|
|
|
# dirname is the name of the directory and filenames is the list
|
|
|
|
# files files (and subdirectories etc.) in the directory.
|
|
|
|
# The func may modify the filenames list, to implement a filter,
|
1990-10-13 19:23:40 +00:00
|
|
|
# or to impose a different order of visiting.
|
1992-01-14 18:29:32 +00:00
|
|
|
|
1990-10-13 19:23:40 +00:00
|
|
|
def walk(top, func, arg):
|
|
|
|
try:
|
1996-07-23 03:47:28 +00:00
|
|
|
names = os.listdir(top)
|
|
|
|
except os.error:
|
1990-10-13 19:23:40 +00:00
|
|
|
return
|
|
|
|
func(arg, top, names)
|
|
|
|
exceptions = ('.', '..')
|
|
|
|
for name in names:
|
|
|
|
if name not in exceptions:
|
1991-08-16 13:27:58 +00:00
|
|
|
name = join(top, name)
|
1994-08-01 11:34:53 +00:00
|
|
|
if isdir(name) and not islink(name):
|
1990-10-13 19:23:40 +00:00
|
|
|
walk(name, func, arg)
|
1992-01-14 18:29:32 +00:00
|
|
|
|
|
|
|
|
|
|
|
# Expand paths beginning with '~' or '~user'.
|
|
|
|
# '~' means $HOME; '~user' means that user's home directory.
|
|
|
|
# If the path doesn't begin with '~', or if the user or $HOME is unknown,
|
|
|
|
# the path is returned unchanged (leaving error reporting to whatever
|
|
|
|
# function is called with the expanded path as argument).
|
|
|
|
# See also module 'glob' for expansion of *, ? and [...] in pathnames.
|
|
|
|
# (A function should also be defined to do full *sh-style environment
|
|
|
|
# variable expansion.)
|
|
|
|
|
|
|
|
def expanduser(path):
|
|
|
|
if path[:1] <> '~':
|
|
|
|
return path
|
|
|
|
i, n = 1, len(path)
|
|
|
|
while i < n and path[i] <> '/':
|
|
|
|
i = i+1
|
|
|
|
if i == 1:
|
1996-07-23 03:47:28 +00:00
|
|
|
if not os.environ.has_key('HOME'):
|
1992-01-14 18:29:32 +00:00
|
|
|
return path
|
1996-07-23 03:47:28 +00:00
|
|
|
userhome = os.environ['HOME']
|
1992-01-14 18:29:32 +00:00
|
|
|
else:
|
|
|
|
import pwd
|
|
|
|
try:
|
|
|
|
pwent = pwd.getpwnam(path[1:i])
|
|
|
|
except KeyError:
|
|
|
|
return path
|
|
|
|
userhome = pwent[5]
|
1996-04-02 22:30:03 +00:00
|
|
|
if userhome[-1:] == '/': i = i+1
|
1992-01-14 18:29:32 +00:00
|
|
|
return userhome + path[i:]
|
1992-08-09 13:54:50 +00:00
|
|
|
|
|
|
|
|
|
|
|
# Expand paths containing shell variable substitutions.
|
1994-08-01 11:34:53 +00:00
|
|
|
# This expands the forms $variable and ${variable} only.
|
|
|
|
# Non-existant variables are left unchanged.
|
|
|
|
|
|
|
|
_varprog = None
|
1992-08-09 13:54:50 +00:00
|
|
|
|
|
|
|
def expandvars(path):
|
1994-08-01 11:34:53 +00:00
|
|
|
global _varprog
|
1992-08-09 13:54:50 +00:00
|
|
|
if '$' not in path:
|
|
|
|
return path
|
1994-08-01 11:34:53 +00:00
|
|
|
if not _varprog:
|
|
|
|
import regex
|
|
|
|
_varprog = regex.compile('$\([a-zA-Z0-9_]+\|{[^}]*}\)')
|
|
|
|
i = 0
|
|
|
|
while 1:
|
|
|
|
i = _varprog.search(path, i)
|
|
|
|
if i < 0:
|
|
|
|
break
|
|
|
|
name = _varprog.group(1)
|
|
|
|
j = i + len(_varprog.group(0))
|
|
|
|
if name[:1] == '{' and name[-1:] == '}':
|
|
|
|
name = name[1:-1]
|
1996-07-23 03:47:28 +00:00
|
|
|
if os.environ.has_key(name):
|
1994-08-01 11:34:53 +00:00
|
|
|
tail = path[j:]
|
1996-07-23 03:47:28 +00:00
|
|
|
path = path[:i] + os.environ[name]
|
1994-08-01 11:34:53 +00:00
|
|
|
i = len(path)
|
|
|
|
path = path + tail
|
|
|
|
else:
|
|
|
|
i = j
|
|
|
|
return path
|
1992-11-05 10:43:02 +00:00
|
|
|
|
|
|
|
|
|
|
|
# Normalize a path, e.g. A//B, A/./B and A/foo/../B all become A/B.
|
|
|
|
# It should be understood that this may change the meaning of the path
|
|
|
|
# if it contains symbolic links!
|
|
|
|
|
|
|
|
def normpath(path):
|
|
|
|
import string
|
1993-07-06 15:19:36 +00:00
|
|
|
# Treat initial slashes specially
|
|
|
|
slashes = ''
|
|
|
|
while path[:1] == '/':
|
|
|
|
slashes = slashes + '/'
|
|
|
|
path = path[1:]
|
1992-11-05 10:43:02 +00:00
|
|
|
comps = string.splitfields(path, '/')
|
|
|
|
i = 0
|
|
|
|
while i < len(comps):
|
|
|
|
if comps[i] == '.':
|
|
|
|
del comps[i]
|
|
|
|
elif comps[i] == '..' and i > 0 and \
|
|
|
|
comps[i-1] not in ('', '..'):
|
|
|
|
del comps[i-1:i+1]
|
|
|
|
i = i-1
|
|
|
|
elif comps[i] == '' and i > 0 and comps[i-1] <> '':
|
|
|
|
del comps[i]
|
|
|
|
else:
|
|
|
|
i = i+1
|
|
|
|
# If the path is now empty, substitute '.'
|
1993-07-06 15:19:36 +00:00
|
|
|
if not comps and not slashes:
|
1992-11-05 10:43:02 +00:00
|
|
|
comps.append('.')
|
1993-07-06 15:19:36 +00:00
|
|
|
return slashes + string.joinfields(comps, '/')
|