GNU bug report logs -
#31770
New ‘guix pull’ dosen’t update the guix manual in GuixSD
Previous Next
Reported by: iyzsong <at> member.fsf.org (宋文武)
Date: Sat, 9 Jun 2018 14:27:02 UTC
Severity: normal
Done: ludo <at> gnu.org (Ludovic Courtès)
Bug is archived. No further changes may be made.
Full log
Message #16 received at 31770-done <at> debbugs.gnu.org (full text, mbox):
iyzsong <at> member.fsf.org (宋文武) skribis:
> ludo <at> 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
>> @@ -644,6 +644,8 @@ do
>> fi
>> done
>>
>> +export INFOPATH=\"$HOME/.config/guix/current/share/info:$INFOPATH\"
>> +
>> # Set the umask, notably for users logging in via 'lsh'.
>> # See <http://bugs.gnu.org/22650>.
>> umask 022
>>
>>
>> How does that sound?
>
> Yeah, that's fine. Maybe add comments about why source ‘current’ after
> user profile (prefer current guix) and why ‘export INFOPATH’ at the end
> (prefer the current guix manual). Thank you!
Good idea. Pushed as 8d09bfe21870c2d5fdb1cd04bc5fdcab177204b0, thanks!
Ludo’.
This bug report was last modified 6 years and 341 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.