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)
