Hi,

Gábor Boskovits <boskovits@gmail.com> skribis:

> I have seen in the /etc/profile file that it suggest you to do something like
>
> source $GUIX_PROFILE/etc/profile.

Right, you see this advice in $GUIX_PROFILE/etc/profile itself.

> This causes problems on systems where the startup file is executed by
> a posix /bin/sh, as this is bash specific.

$GUIX_PROFILE/etc/profile is not honored by any shell.  One has to
specifically put the ‘source’ line above in whichever file is
appropriate (~/.bash_profile, ~/.profile, /etc/profile, etc.)

On GuixSD this happens automatically but on a foreign distro users have
to add the ‘source’ line somewhere.

Does that make sense?

Thanks,
Ludo’.