On 04/06/2016 12:18 PM, Chris Angelico wrote:
On Thu, Apr 7, 2016 at 4:54 AM, Ethan Furman <[email protected]> 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 [email protected] https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com