On Wed, Sep 15, 2021 at 12:21 AM Eric V. Smith <eric@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.