Re: I don't understand profiles and directories

[HiPhish]

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.