Stefan Rank wrote: > (It would be nice to get `path`(s) easily from a `file`, at the moment > there is only file.name if I'm not mistaken).
When files are opened through a "path" object -- e.g. path('name').open() -- then file.name returns the path object that was used to open it. -Peter -- http://mail.python.org/mailman/listinfo/python-list