Shoulder-surfing johnf the other night at the seven meeting, I saw him use
cd -
to return to a previous directory…
I’d been using pushd and popd when I remembered; tried out cd - just now and bam! productivity increased 300%! Now I won’t be opening new terminals just to keep a shell in past directories…