HiPhish <[email protected]> writes:

> `which guix` prints "guix (GNU Guix) 0.15.0-5.1d0be47".

I don’t think so.  It should print a file name.


> 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.

Yes.

-- 
Ricardo


Reply via email to