6 999
contributi
Navigazione veloce tra directory: pushd, popd e dirs: differenze tra le versioni
Navigazione veloce tra directory: pushd, popd e dirs (visualizza wikitesto)
Versione delle 08:34, 24 mag 2013
, 24 mag 2013nessun oggetto della modifica
S3v (discussione | contributi) mNessun oggetto della modifica |
S3v (discussione | contributi) mNessun oggetto della modifica |
||
| Riga 1: | Riga 1: | ||
{{ | {{Versioni compatibili}} | ||
== Introduzione e funzionamento == | == 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/> | 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/> | ||