On 04/06/2016 12:18 PM, Chris Angelico wrote:
On Thu, Apr 7, 2016 at 4:54 AM, Ethan Furman <et...@stoneleaf.us> wrote:
Maybe __os_path__ then? I would rather be explicit about the type of path
we are dealing with -- who knows if we won't have __url_path__ in the future
(besides Guido, of course ;)
Bikeshedding furiously... I don't like os_path here as it's too
similar to os.path; unless that's deliberate?
Well, it is a Operating System Path. ;)
--
~Ethan~
_______________________________________________
Python-Dev mailing list
Python-Dev@python.org
https://mail.python.org/mailman/listinfo/python-dev
Unsubscribe:
https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com