Pushd vs Popd : comprendre enfin la différence et bien les utiliser

Dans un terminal Linux ou macOS, pushd et popd sont deux commandes intégrées au shell Bash (et Zsh) qui gèrent une pile de répertoires. Là où cd remplace le répertoire courant sans garder de trace, pushd empile chaque destination et …