Dada Music Movement è lo spazio libero della tua Musica. Da vivere con i tuoi amici, da scaricare e ascoltare dove e come vuoi: sul Pc, sui lettori Mp3 e anche sul tuo telefonino! Siamo per il download facile e a basso costo, libero (DRM free!), mobile e consapevole. Dada Music Movement è Musica e Amicizia. Unisciti a noi!

Spostarsi fra le directory di linux

1 Interventi

Chi non conosce il comando "cd" per muoversi tra le directory di una macchina Linux? Esistono altri due comandi poco conosciuti che tornano molto utili quando ci si muove tra directory "molto distanti". Vediamoli


I comandi sono :

pushd

e

popd

il principio è molto semplice: pushd vi porta in una determinata direcotory,
mentre popd porta a quella immediatamente precedente, cioè dove vi trovavate
prima di spostarvi.

Un po' confusi? Si? allora portiamo un bell'esempio chiarificatore.

Supponiamo che vi troviate nella directory /usr/home/pinco_pallino
e per qualche motivo dobbiate controllare il file di log dmesg
contenuto nella cartella /var/log bene!
al carissimo prompt scrivete :

pushd /var/log

e vi ritroverete in questa cartella.
Controllerete il file in questione (dmesg)
e una volta fatto, sempre al prompt digiterete :

popd

Per magia!? vi ritroverete direttamente nella vostra /usr/home/pinco_pallino.

I comandi possono essere usati più volte per spostarsi nei punti più disparati del disco.
Ricordate però che ad ogni utilizzo del comando popd risalirete di un livello rispetto
all'itinerario che vi siete creati utilizzando pushd.

Per conoscere l'itinerario e quindi sapere dove vi ritroverete ogni volta
che utilizzerete popd, digitate al prompt :


dirs
Tratto da
http://www.pcinformatica.eu