Hello Laura,

It took me some time time to get this working, as
there are some confusions around the startup files, so here it goes:

There is no need for .bash_profile, I added the PATH export to:
.profile : to have it when logging in through ssh or on the console.
(this file did exists)
.xsessionrc : to have them when I start a terminal on my desktop (it is xfce)
(i had to create this file)