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)
I had done this too in the first place. However, checked opening a tty and still had the same problem.
I went back to one of the first snapshots before running guix pull for the first time - as regards my work on later ones, I have a shared folder to my host and I drop there files from later snapshots. Hope this time works!
Regards!
Laura