15 Sep
2021
15 Sep
'21
6:53 p.m.
On 9/15/2021 2:48 PM, Eric Fahlgren wrote:
On Wed, Sep 15, 2021 at 12:21 AM Eric V. Smith <eric@trueblade.com <mailto: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.
That's a great name! Although I think having os.chdir() return a context manager is a better design (assuming it can work, but at first blush it would seem so). Eric