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

Reply via email to