Andreas Enge <andreas@enge.fr> writes:

> Hello,
>
> On Tue, Feb 19, 2019 at 08:41:47AM +0100, Ricardo Wurmus wrote:
>> This only needs to be done when GUIX_PROFILE is not set.  The
>> definitions in etc/profile either reference /gnu/store directories
>> directly (when GUIX_PROFILE is not set) or they reference the profile
>> links (when GUIX_PROFILE is set).
>
> that is an interesting point, thanks a lot for explaining it! So I think
> that the best advice the command could give would be both to set GUIX_PROFILE
> and to source etc/profile.

+1

-- 
Chris