Il presente documento č un estratto delle innumerevoli funzioni
della shell BASH,
a titolo di introduzione alla programmazione. Vengono illustrate solo le
funzioni ritenute pių utili e solo con le opzioni di utilizzo pių frequente.
Per una trattazione completa si veda (come sempre) il
manuale GNU.