Guida avanzata di scripting Bash - Portale Posta DMI

Capitolo 12. Filtri, programmi e comandi esterni
Lo script precedente illustra come expr usa le parentesi con l’escaping -- \( ... \) -- per raggruppare
operatori, in coppia con la verifica di espressione regolare, per trovare una sottostringa. Ecco un altro
esempio, questa volta preso dal “mondo reale.”
# Toglie le spaziature iniziali e finali.
LRFDATE=‘expr "$LRFDATE" : ’[[:space:]]*\(.*\)[[:space:]]*$’‘
# Dallo script di Peter Knowles "booklistgen.sh"
#+ per la conversione di file nel formato Sony Librie.
# (http://booklistgensh.peterknowles.com)
Perl, sed e awk possiedono strumenti di gran lunga superiori per la verifica delle stringhe. Una breve
“subroutine” sed o awk in uno script (vedi la Sezione 33.2) è un’alternativa attraente ad expr.
Vedi la Sezione 9.2 per approfondimenti sull’uso di expr nelle operazioni sulle stringhe.
12.3. Comandi per ora/data
date
Ora/data e calcolo del tempo
La semplice invocazione di date visualizza la data e l’ora allo stdout. L’interesse per questo
comando deriva dall’uso delle sue opzioni di formato e verifica.
Esempio 12-10. Utilizzo di date
#!/bin/bash
# Esercitarsi con il comando ’date’
echo "Il numero di giorni trascorsi dall’inizio dell’anno è ‘date +%j‘."
# È necessario il ’+’ per il formato dell’output.
# %j fornisce i giorni dall’inizio dell’anno.
echo "Il numero di secondi trascorsi dal 01/01/1970 è ‘date +%s‘."
# %s contiene il numero di secondi dall’inizio della "UNIX epoch", ma
#+ quanto può essere utile?
prefisso=temp
suffisso=$(date +%s) # L’opzione "+%s" di ’date’ è una specifica GNU.
nomefile=$prefisso.$suffisso
242