Navigazione veloce tra directory: pushd, popd e dirs: differenze tra le versioni

== Introduzione e funzionamento ==

Uno degli aspetti più ripetitivi e noiosi quando si lavora spesso su un terminale è quello di doversi spostare con una certa frequenza da una directory di lavoro all'altra per impartire comandi o visualizzare file. <br/>