On Sun, Jan 24, 2010 at 3:39 AM, Massimiliano Bertinetti
<mbertim at gmail.com> wrote:
> try:
>> $ sudo source .bashrc
>> with this the system read the modified file.
>> It's also usefull for /etc/profile and so on....
>> Max
Thanks
I guess it is necessary to reboot as I turned off my pc last night and
this morning I checked again and IDE sees the new path.