Guida avanzata di scripting Bash - Portale Posta DMI

pwd
pushd
popd
dirs
Cautela
Il comando cd non funziona come ci si potrebbe aspettare quando è
seguito da una doppia barra.
bash$ cd //
bash$ pwd
//
L’output, naturalmente, dovrebbe essere /. Questo rappresenta un
problema sia da riga di comando che in uno script.
Capitolo 11. Comandi interni e builtin
Print Working Directory. Fornisce la directory corrente dell’utente (o dello script) (vedi Esempio
11-9). Ha lo stesso effetto della lettura del valore della variabile builtin $PWD.
Questa serie di comandi forma un sistema per tenere nota delle directory di lavoro; un mezzo per
spostarsi avanti e indietro tra le directory in modo ordinato. Viene usato uno stack (del tipo LIFO)
per tenere traccia dei nomi delle directory. Diverse opzioni consentono varie manipolazioni dello
stack delle directory.
pushd nome-dir immette il percorso di nome-dir nello stack delle directory e
simultaneamente passa dalla directory di lavoro corrente a nome-dir
popd preleva (pop) il nome ed il percorso della directory che si trova nella locazione più alta dello
stack delle directory e contemporaneamente passa dalla directory di lavoro corrente a quella
prelevata dallo stack.
dirs elenca il contenuto dello stack delle directory (lo si confronti con la variabile $DIRSTACK).
Un comando pushd o popd, che ha avuto successo, invoca in modo automatico dirs.
Gli script che necessitano di ricorrenti cambiamenti delle directory di lavoro possono trarre
giovamento dall’uso di questi comandi, evitando di dover codificare ogni modifica all’interno dello
script. È da notare che nell’array implicito $DIRSTACK, accessibile da uno script, è memorizzato il
contenuto dello stack delle directory.
Esempio 11-9. Cambiare la directory di lavoro corrente
#!/bin/bash
dir1=/usr/local
200