Guida avanzata di scripting Bash - Portale Posta DMI

units
Capitolo 12. Filtri, programmi e comandi esterni
Il comando mcookie fornisce un altro metodo, ancora, per generare un nome di file “univoco” .
Esempio 12-56. Generatore di nomi di file
#!/bin/bash
# tempfile-name.sh: generatore di nomi di file temporanei
STR_BASE=‘mcookie‘ # magic cookie di 32-caratteri.
POS=11 # Posizione arbitraria nella stringa magic cookie.
LUN=5 # Ottiene $LUN caratteri consecutivi.
prefisso=temp # È, dopo tutto, un file "temporaneo".
# Per una maggiore "unicità", generate il prefisso del
#+ nome del file usando lo stesso metodo del
#+ suffisso, di seguito.
suffisso=${STR_BASE:POS:LUN}
# Estrae una stringa di 5-caratteri, iniziando dall’11a
#+ posizione.
nomefile_temp=$prefisso.$suffisso
# Crea il nome del file.
echo "Nome del file temporaneo = "$nomefile_temp""
# sh tempfile-name.sh
# Nome del file temporaneo = temp.e19ea
# Confrontate questa tecnica per generare nomi di file "univoci"
#+ con il metodo ’date’ usato in ex51.sh.
exit 0
Questa utility esegue la conversione tra differenti unità di misura. Sebbene normalmente venga
invocata in modalità interattiva, units può essere utilizzata anche in uno script.
Esempio 12-57. Convertire i metri in miglia
#!/bin/bash
# unit-conversion.sh
converte_unità () # Vuole come argomenti le unità da convertire.
{
cf=$(units "$1" "$2" | sed --silent -e ’1p’ | awk ’{print $2}’)
# Toglie tutto tranne il reale fattore di conversione.
echo "$cf"
338