Il giorno ven, 16/12/2011 alle 14.35 +0100, Paolo Sala ha scritto: [...] > conviene, a mio parere, che vengano convertiti a dash altrimenti ti devi > ogni volta ricordare quando li chiami di chiamarli con l'interprete > giusto oppure fare puntare /bin/sh a bash. non mi è chiaro cosa intendi. Non puoi usare lo shebang con bash? #! /bin/bash -- Ciao, G.