il metodo esposto da brolli e Mimmo.Caserta funziona, ma si potrebbe anche modificare il PATH dal file di configurazione ./bashrc o altri. Però penso che questo comporterebbe rischi in più per quento riguarda la sicurezza....