11.04.2013 Views

Guida avanzata di scripting Bash - Portale Posta DMI

Guida avanzata di scripting Bash - Portale Posta DMI

Guida avanzata di scripting Bash - Portale Posta DMI

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

$BASH_VERSION<br />

$DIRSTACK<br />

$EDITOR<br />

$EUID<br />

la versione <strong>Bash</strong> installata<br />

bash$ echo $BASH_VERSION<br />

3.00.14(1)-release<br />

tcsh% echo $BASH_VERSION<br />

BASH_VERSION: Undefined variable.<br />

Capitolo 9. Variabili riviste<br />

# (uguale a $MACHTYPE).<br />

Un buon metodo per determinare quale shell è in funzione è quello <strong>di</strong> verificare<br />

$BASH_VERSION. $SHELL potrebbe non fornire necessariamente una risposta corretta.<br />

il contenuto della locazione più alta dello stack delle <strong>di</strong>rectory (determinato da pushd e popd)<br />

Questa variabile corrisponde al comando <strong>di</strong>rs, senonché <strong>di</strong>rs mostra l’intero contenuto dello stack<br />

delle <strong>di</strong>rectory.<br />

l’e<strong>di</strong>tor <strong>di</strong> testo predefinito invocato da uno script, solitamente vi o emacs.<br />

numero ID “effettivo” dell’utente<br />

Numero identificativo dell’utente corrente corrispondente a qualsiasi identità egli abbia assunto,<br />

solitamente tramite il comando su.<br />

Cautela<br />

$EUID, <strong>di</strong> conseguenza, non è necessariamente uguale a $UID.<br />

96

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!