Full threadnon123·I was aware that pushd and popd existed but never used it. I see how I can gain a lot of productivity from it, so I'll probably be using it from now on.View on HN