+18
−26
Loading
This stops writing raw pushd/popd output to the log file, which is noisy and potentially confusing out-of-context. Instead, when changing the directory in a way that is significant to the log, just print `cd` followed by the name of the new directory.