Ogni tanto mi imbatto in un nuovo problema mai presentatosi prima!
Comunque, dopo una nuova installazione (Ubuntu 13.10) mi ritrovo a lanciare a terminale un vecchio script bash e un messaggio inatteso mi compare.
Non trova il comando let!
Cercando un po' in rete ho trovato diverse discussioni, molte delle quali senza soluzione, e questa sembra funzionare. Basta lanciare il seguente comando:
sudo dpkg-reconfigure dash