Hello 宋文武! iyzsong@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 > - /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. Ooh! I think the change below should be enough to ensure ~/.config/guix/current comes first: