Guida avanzata di scripting Bash - Portale Posta DMI

Capitolo 33. Miscellanea
# Le due linee di comando hanno un effetto identico, ma la seconda viene
#+ eseguita più velocemente perché lancia un sottoprocesso in meno.
Sembra che, negli script, ci sia la tendenza ad abusare del comando cat.
Si usino time e times per calcolare il tempo impiegato nell’esecuzione dei comandi. Si prenda in
considerazione la possibilità di riscrivere sezioni di codice critiche, in termini di tempo, in C, se non
addirittura in assembler.
Si cerchi di minimizzare l’I/O di file. Bash non è particolarmente efficiente nella gestione dei file. Si
consideri, quindi, l’impiego di strumenti più appropriati allo scopo, come awk o Perl.
Si scrivano gli script in forma coerente e strutturata, così che possano essere riorganizzati e accorciati in
caso di necessità. Alcune delle tecniche di ottimizzazione applicabili ai linguaggi di alto livello possono
funzionare anche per gli script, ma altre, come lo svolgimento del ciclo, sono per lo più irrilevanti.
Soprattutto, si usi il buon senso.
Per un’eccellente dimostrazione di come l’ottimizzazione possa ridurre drasticamente il tempo di
esecuzione di uno script, vedi Esempio 12-42.
33.7. Argomenti vari
• Per mantenere una registrazione di quali script sono stati eseguiti durante una particolare sessione, o
un determinato numero di sessioni, si aggiungano le righe seguenti a tutti gli script di cui si vuole tener
traccia. In questo modo verrà continuamente aggiornato il file di registrazione con i nomi degli script e
con l’ora in cui sono stati posti in esecuzione.
•
# Accodatte (>>) le righe seguenti alla fine di ogni script di cui
#+ volete tener traccia.
whoami>> $SAVE_FILE # Utente che ha invocato lo script.
echo $0>> $SAVE_FILE # Nome dello script.
date>> $SAVE_FILE # Data e ora.
echo>> $SAVE_FILE # Riga bianca di separazione.
# Naturalmente, SAVE_FILE deve essere definito ed esportato come
#+ variabile d’ambiente in ~/.bashrc
#+ (qualcosa come ~/.script-eseguiti)
572