Olivier Rojon <o.ro...@posteo.net> writes: > I have set the INFOPATH so that it points -- among others -- to the > path of my current profile which is the canonical > `.config/guix/current/share/info`.
What happens when "${GUIX_PROFILE}/share/info" is added to the INFOPATH? Where ${GUIX_PROFILE} (in my case) is "${HOME}/.guix-profile". -- Suhail