On Wed, Sep 15, 2021 at 12:21 AM Eric V. Smith <e...@trueblade.com> wrote:
> And I'm not crazy about the name "workdir". To me, it sounds like it > returns something, not sets and resets something. But I don't have a > particularly great alternative in mind: in my own code I've used > "change_dir", which isn't awesome either. > Our version is named "pushdir", modeled after shell's pushd (even though pushdir is a context manager and does auto-pop). Everyone figures out what it does at a glance.
_______________________________________________ Python-ideas mailing list -- python-ideas@python.org To unsubscribe send an email to python-ideas-le...@python.org https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/5ZG2NM2ETPYEX5IBONDHFRB7625H2RY7/ Code of Conduct: http://python.org/psf/codeofconduct/
