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

Creata pagina con '{{versioni compatibili}} == Introduzione e funzionamento == Uno degli aspetti più ripetitivi e noiosi quando si lavora spesso su un terminale è quello di doversi spostare con u...'