--- Begin Message ---
|
Subject: |
New ‘guix pull’ dosen’t update the guix manual in GuixSD |
|
Date: |
Sat, 09 Jun 2018 22:25:21 +0800 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
address@hidden (Ludovic Courtès) writes:
> Hello Guix!
>
> For those who haven’t been following along on
> <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=22629#35>, I have just
> pushed a new ‘guix pull’.
>
> To summarize, ~/.config/guix/latest no longer exists. Instead
> ~/.config/guix/current is populated with a complete Guix (without
> ‘guix-daemon’ though), including an up-to-date manual and so on.
> ~/.config/guix/current is a regular profile, meaning that you can
> roll-back to a previously-pulled Guix and so on.
Great!
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
- /run/current-system/profile/share/info
- /home/iyzsong/.config/guix/current/share/info
- /home/iyzsong/.guix-profile/share/info
- /run/current-system/profile/share/info
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.
I think we should make ‘INFOPATH’ a search path of the ‘current’ guix
profile, so that it overrides previous ones.
--- End Message ---
--- Begin Message ---
|
Subject: |
Re: New ‘guix pull’ dosen’t update the guix manual in GuixSD |
|
Date: |
Tue, 12 Jun 2018 15:54:37 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
address@hidden (宋文武) skribis:
> address@hidden (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’.
--- End Message ---