Guida avanzata di scripting Bash - Portale Posta DMI

Capitolo 12. Filtri, programmi e comandi esterni
echo $nomefile
# È importantissima per creare nomi di file temporanei "univoci", è persino
#+ migliore dell’uso di $$.
# Leggete la pagina di manuale di ’date’ per le altre opzioni di formato.
exit 0
L’opzione -u fornisce il tempo UTC (Universal Coordinated Time).
bash$ date
dom mag 11 17:55:55 CEST 2003
bash$ date -u
dom mag 11 15:56:08 UTC 2003
Il comando date possiede un certo numero di opzioni. Per esempio %N visualizza la parte di
nanosecondi dell’ora corrente. Un uso interessante è quello per generare interi casuali di sei cifre.
date +%N | sed -e ’s/000$//’ -e ’s/^0//’
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
# Toglie gli zeri iniziali e finali, se presenti.
Esistono molte altre opzioni (eseguite man date).
date +%j
# Visualizza i giorni dell’anno (i giorni trascorsi dal 1 gennaio).
date +%k%M
# Visualizza l’ora e i minuti nel formato 24-ore, come unica stringa di cifre.
# Il parametro ’TZ’ consente di ottenere il tempo di una zona diversa da
#+ quella di default.
date # Mon Mar 28 21:42:16 MST 2005
TZ=EST date # Mon Mar 28 23:42:16 EST 2005
# Grazie a Frank Kannemann e Pete Sjoberg, per il suggerimento.
SeiGiorniFa=$(date --date=’6 days ago’)
UnMeseFa=$(date --date=’1 month ago’) # Quattro settimane (non un mese).
UnAnnoFa=$(date --date=’1 year ago’)
243