blob: 1b1b3aee082a98011c9b1fed69722c3f23e1a69d [file] [log] [blame]
Guido van Rossum26847381992-03-31 18:54:35 +00001# Module 'posixpath' -- common operations on POSIX pathnames
Guido van Rossumc6360141990-10-13 19:23:40 +00002
3import posix
Guido van Rossum40d93041990-10-21 16:17:34 +00004import stat
Guido van Rossumc6360141990-10-13 19:23:40 +00005
6
Guido van Rossum7ac48781992-01-14 18:29:32 +00007# Normalize the case of a pathname. Trivial in Posix, string.lower on Mac.
8# On MS-DOS this may also turn slashes into backslashes; however, other
9# normalizations (such as optimizing '../' away) are not allowed
10# (another function should be defined to do that).
11
12def normcase(s):
13 return s
14
15
16# Return wheter a path is absolute.
17# Trivial in Posix, harder on the Mac or MS-DOS.
18
19def isabs(s):
20 return s[:1] == '/'
21
22
Guido van Rossum4d0fdc31991-08-16 13:27:58 +000023# Join two pathnames.
Guido van Rossum7ac48781992-01-14 18:29:32 +000024# Ignore the first part if the second part is absolute.
Guido van Rossum4d0fdc31991-08-16 13:27:58 +000025# Insert a '/' unless the first part is empty or already ends in '/'.
Guido van Rossum7ac48781992-01-14 18:29:32 +000026
Guido van Rossum4d0fdc31991-08-16 13:27:58 +000027def join(a, b):
Guido van Rossumbdfcfcc1992-01-01 19:35:13 +000028 if b[:1] == '/': return b
29 if a == '' or a[-1:] == '/': return a + b
Guido van Rossum4d0fdc31991-08-16 13:27:58 +000030 # Note: join('x', '') returns 'x/'; is this what we want?
Guido van Rossumc6360141990-10-13 19:23:40 +000031 return a + '/' + b
32
33
Guido van Rossum26847381992-03-31 18:54:35 +000034# Split a path in head (everything up to the last '/') and tail (the
35# rest). If the original path ends in '/' but is not the root, this
36# '/' is stripped. After the trailing '/' is stripped, the invariant
37# join(head, tail) == p holds.
38# The resulting head won't end in '/' unless it is the root.
Guido van Rossum7ac48781992-01-14 18:29:32 +000039
Guido van Rossumc6360141990-10-13 19:23:40 +000040def split(p):
Guido van Rossum26847381992-03-31 18:54:35 +000041 if p[-1:] == '/' and p <> '/'*len(p):
42 while p[-1] == '/':
43 p = p[:-1]
Guido van Rossumc6360141990-10-13 19:23:40 +000044 head, tail = '', ''
45 for c in p:
46 tail = tail + c
Guido van Rossumbdfcfcc1992-01-01 19:35:13 +000047 if c == '/':
Guido van Rossumc6360141990-10-13 19:23:40 +000048 head, tail = head + tail, ''
Guido van Rossum26847381992-03-31 18:54:35 +000049 if head[-1:] == '/' and head <> '/'*len(head):
50 while head[-1] == '/':
51 head = head[:-1]
Guido van Rossumc6360141990-10-13 19:23:40 +000052 return head, tail
53
54
Guido van Rossum4d0fdc31991-08-16 13:27:58 +000055# Split a path in root and extension.
56# The extension is everything starting at the first dot in the last
57# pathname component; the root is everything before that.
Guido van Rossum7ac48781992-01-14 18:29:32 +000058# It is always true that root + ext == p.
59
Guido van Rossum4d0fdc31991-08-16 13:27:58 +000060def splitext(p):
61 root, ext = '', ''
62 for c in p:
Guido van Rossumbdfcfcc1992-01-01 19:35:13 +000063 if c == '/':
Guido van Rossum4d0fdc31991-08-16 13:27:58 +000064 root, ext = root + ext + c, ''
Guido van Rossumbdfcfcc1992-01-01 19:35:13 +000065 elif c == '.' or ext:
Guido van Rossum4d0fdc31991-08-16 13:27:58 +000066 ext = ext + c
67 else:
68 root = root + c
69 return root, ext
70
71
Guido van Rossumc6360141990-10-13 19:23:40 +000072# Return the tail (basename) part of a path.
Guido van Rossum7ac48781992-01-14 18:29:32 +000073
Guido van Rossumc6360141990-10-13 19:23:40 +000074def basename(p):
75 return split(p)[1]
76
77
78# Return the longest prefix of all list elements.
Guido van Rossum7ac48781992-01-14 18:29:32 +000079
Guido van Rossumc6360141990-10-13 19:23:40 +000080def commonprefix(m):
81 if not m: return ''
82 prefix = m[0]
83 for item in m:
84 for i in range(len(prefix)):
85 if prefix[:i+1] <> item[:i+1]:
86 prefix = prefix[:i]
Guido van Rossumbdfcfcc1992-01-01 19:35:13 +000087 if i == 0: return ''
Guido van Rossumc6360141990-10-13 19:23:40 +000088 break
89 return prefix
90
91
Guido van Rossum7ac48781992-01-14 18:29:32 +000092# Is a path a symbolic link?
93# This will always return false on systems where posix.lstat doesn't exist.
94
95def islink(path):
96 try:
97 st = posix.lstat(path)
98 except (posix.error, AttributeError):
99 return 0
100 return stat.S_ISLNK(st[stat.ST_MODE])
101
102
103# Does a path exist?
104# This is false for dangling symbolic links.
105
Guido van Rossumc6360141990-10-13 19:23:40 +0000106def exists(path):
107 try:
108 st = posix.stat(path)
109 except posix.error:
110 return 0
111 return 1
112
113
114# Is a path a posix directory?
Guido van Rossum7ac48781992-01-14 18:29:32 +0000115# This follows symbolic links, so both islink() and isdir() can be true
116# for the same path.
117
Guido van Rossumc6360141990-10-13 19:23:40 +0000118def isdir(path):
119 try:
120 st = posix.stat(path)
121 except posix.error:
122 return 0
Guido van Rossum40d93041990-10-21 16:17:34 +0000123 return stat.S_ISDIR(st[stat.ST_MODE])
Guido van Rossumc6360141990-10-13 19:23:40 +0000124
125
Guido van Rossum26847381992-03-31 18:54:35 +0000126# Is a path a regular file?
Guido van Rossum7ac48781992-01-14 18:29:32 +0000127# This follows symbolic links, so both islink() and isdir() can be true
128# for the same path.
129
130def isfile(path):
Guido van Rossumc6360141990-10-13 19:23:40 +0000131 try:
Guido van Rossum7ac48781992-01-14 18:29:32 +0000132 st = posix.stat(path)
133 except posix.error:
Guido van Rossumc6360141990-10-13 19:23:40 +0000134 return 0
Guido van Rossum7ac48781992-01-14 18:29:32 +0000135 return stat.S_ISREG(st[stat.ST_MODE])
Guido van Rossumc6360141990-10-13 19:23:40 +0000136
137
Guido van Rossumd3778f91991-11-12 15:37:40 +0000138# Are two filenames really pointing to the same file?
Guido van Rossum7ac48781992-01-14 18:29:32 +0000139
Guido van Rossumd3778f91991-11-12 15:37:40 +0000140def samefile(f1, f2):
141 s1 = posix.stat(f1)
142 s2 = posix.stat(f2)
143 return samestat(s1, s2)
144
145
146# Are two open files really referencing the same file?
147# (Not necessarily the same file descriptor!)
148# XXX Oops, posix.fstat() doesn't exist yet!
Guido van Rossum7ac48781992-01-14 18:29:32 +0000149
Guido van Rossumd3778f91991-11-12 15:37:40 +0000150def sameopenfile(fp1, fp2):
151 s1 = posix.fstat(fp1)
152 s2 = posix.fstat(fp2)
153 return samestat(s1, s2)
154
155
156# Are two stat buffers (obtained from stat, fstat or lstat)
157# describing the same file?
Guido van Rossum7ac48781992-01-14 18:29:32 +0000158
Guido van Rossumd3778f91991-11-12 15:37:40 +0000159def samestat(s1, s2):
Guido van Rossumbdfcfcc1992-01-01 19:35:13 +0000160 return s1[stat.ST_INO] == s2[stat.ST_INO] and \
161 s1[stat.ST_DEV] == s2[stat.STD_DEV]
Guido van Rossumd3778f91991-11-12 15:37:40 +0000162
163
164# Subroutine and global data used by ismount().
165
Guido van Rossumc6360141990-10-13 19:23:40 +0000166_mounts = []
167
168def _getmounts():
169 import commands, string
170 mounts = []
171 data = commands.getoutput('/etc/mount')
172 lines = string.splitfields(data, '\n')
173 for line in lines:
174 words = string.split(line)
Guido van Rossumbdfcfcc1992-01-01 19:35:13 +0000175 if len(words) >= 3 and words[1] == 'on':
Guido van Rossumc6360141990-10-13 19:23:40 +0000176 mounts.append(words[2])
177 return mounts
178
179
180# Is a path a mount point?
Guido van Rossum7ac48781992-01-14 18:29:32 +0000181# This only works for normalized paths,
Guido van Rossumc6360141990-10-13 19:23:40 +0000182# and only if the mount table as printed by /etc/mount is correct.
Guido van Rossum7ac48781992-01-14 18:29:32 +0000183# It tries to make relative paths absolute by prefixing them with the
184# current directory, but it won't normalize arguments containing '../'
185# or symbolic links.
186
Guido van Rossumc6360141990-10-13 19:23:40 +0000187def ismount(path):
Guido van Rossum7ac48781992-01-14 18:29:32 +0000188 if not isabs(path):
189 path = join(posix.getcwd(), path)
Guido van Rossumc6360141990-10-13 19:23:40 +0000190 if not _mounts:
191 _mounts[:] = _getmounts()
192 return path in _mounts
193
194
195# Directory tree walk.
Guido van Rossum7ac48781992-01-14 18:29:32 +0000196# For each directory under top (including top itself, but excluding
197# '.' and '..'), func(arg, dirname, filenames) is called, where
198# dirname is the name of the directory and filenames is the list
199# files files (and subdirectories etc.) in the directory.
200# The func may modify the filenames list, to implement a filter,
Guido van Rossumc6360141990-10-13 19:23:40 +0000201# or to impose a different order of visiting.
Guido van Rossum7ac48781992-01-14 18:29:32 +0000202
Guido van Rossumc6360141990-10-13 19:23:40 +0000203def walk(top, func, arg):
204 try:
205 names = posix.listdir(top)
206 except posix.error:
207 return
208 func(arg, top, names)
209 exceptions = ('.', '..')
210 for name in names:
211 if name not in exceptions:
Guido van Rossum4d0fdc31991-08-16 13:27:58 +0000212 name = join(top, name)
Guido van Rossumc6360141990-10-13 19:23:40 +0000213 if isdir(name):
214 walk(name, func, arg)
Guido van Rossum7ac48781992-01-14 18:29:32 +0000215
216
217# Expand paths beginning with '~' or '~user'.
218# '~' means $HOME; '~user' means that user's home directory.
219# If the path doesn't begin with '~', or if the user or $HOME is unknown,
220# the path is returned unchanged (leaving error reporting to whatever
221# function is called with the expanded path as argument).
222# See also module 'glob' for expansion of *, ? and [...] in pathnames.
223# (A function should also be defined to do full *sh-style environment
224# variable expansion.)
225
226def expanduser(path):
227 if path[:1] <> '~':
228 return path
229 i, n = 1, len(path)
230 while i < n and path[i] <> '/':
231 i = i+1
232 if i == 1:
233 if not posix.environ.has_key('HOME'):
234 return path
235 userhome = posix.environ['HOME']
236 else:
237 import pwd
238 try:
239 pwent = pwd.getpwnam(path[1:i])
240 except KeyError:
241 return path
242 userhome = pwent[5]
243 return userhome + path[i:]