iyzs...@member.fsf.org (宋文武) skribis:
> l...@gnu.org (Ludovic Courtès) writes:
[...]
>> -for profile in \"$HOME/.config/guix/current\" \"$HOME/.guix-profile\"
>> +for profile in \"$HOME/.guix-profile\" \"$HOME/.config/guix/current\"
>> do
>>if [ -f \"$profile/etc/profile\" ]
>>then
>> @
l...@gnu.org (Ludovic Courtès) writes:
>> The last there are from the ‘export’ statement of ‘/etc/profile’, the
>> first two are added by ‘source’ the profiles. Since there is a guix in
>> the system profile contains the old info manual, the current one won’t
>> be picked.
>
> Ooh! I think the c
Hello 宋文武!
iyzs...@member.fsf.org (宋文武) skribis:
> After run ‘guix pull’ twice, I have got ‘~/.config/guix/current’, then
> use it to do a system reconfigure for ‘/etc/profile’.
>
> But the guix manual doesn’t got updated, my ‘INFOPATH’ contains:
>
> - /home/iyzsong/.guix-profile/share/info
> - /
