Luca Cappelletti wrote:
>>
>> # set PATH so it includes user's private bin if it exists
>> if [ -d ~/bin ] ; then
>> PATH=~/bin:"${PATH}"
>> fi
>
> Prova cosi:
>
> PATH=/pippo:$PATH
>
Lo script originale funziona da linea di comando...il problema e' che
sembra che bash_profile non venga caricato all'avvio...succede anche a te?
Ciao
Enrico