[Python-Dev] os.path.diff(path1, path2) (original) (raw)
Greg Ewing greg.ewing at canterbury.ac.nz
Tue Sep 20 04:30:43 CEST 2005
- Previous message: [Python-Dev] os.path.diff(path1, path2)
- Next message: [Python-Dev] os.path.diff(path1, path2)
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Matthias Andreas Benkard wrote:
/home -> usr/home /usr /usr/home
What does os.path.diff("/home/", "/usr/") yield? "../usr/", I would presume? But that's obviously wrong:
IMO, the relpath method should just work textually on the pathnames. It's up to the user to ensure it makes sense to do so, e.g. by resolving symlinks beforehand if necessary.
The alternative would be for relpath to do this itself, but that would make it very unusual compared to the other path-munging functions, none of which touch the file system.
-- Greg Ewing, Computer Science Dept, +--------------------------------------+ University of Canterbury, | A citizen of NewZealandCorp, a | Christchurch, New Zealand | wholly-owned subsidiary of USA Inc. | greg.ewing at canterbury.ac.nz +--------------------------------------+
- Previous message: [Python-Dev] os.path.diff(path1, path2)
- Next message: [Python-Dev] os.path.diff(path1, path2)
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]