Hello, and welcome to Guix! The "proper" way to run software installed using Guix is to activate the Guix profile; see https://guix.gnu.org/manual/en/html_node/Getting-Started.html for details. This sets $PATH for you, along with other environment variables that make sure e.g. new man pages can be found.
For setting $PATH manually, "~" is a shorthand for your home directory, so one of these two should work: a) PATH=$PATH:/home/hub_galli/mfrancesconi/.guix-profile/bin export PATH b) PATH=$PATH:~/.guix-profile/bin export PATH Hope this helps!
