Hello Ricardo,
I have logged out and back in just to be sure everything is reset.
> What “guix” are you using? What does “which guix” tell you?
When I run `guix --version` I get "guix (GNU Guix) 0.15.0-5.1d0be47" (and the
usual copyright boilerplate of course). `which guix` prints "guix (GNU Guix)
0.15.0-5.1d0be47". Should I change my `.profile` file to be like this instead?
source "$HOME/.guix-profile/etc/profile"
export GUIX_LOCPATH="$HOME/.guix-profile/lib/locale"
export PATH="$HOME/.config/guix/current/bin:$PATH"
export INFOPATH="$HOME/.config/guix/current/share/info:$INFOPATH"
I.e. first source the Guix profile, which will add itself to the `$PATH`, and
then add the path to the other profile.
