Marius Bakke writes: > MANPATH contains the system profile twice: > > /run/current-system/profile/share/man:/home/marius/.guix-profile/share/man:/run/current-system/profile/share/man I think this might be a duplicate of the following more general bug ("Duplicate entries in various environment variables"): https://debbugs.gnu.org/cgi/bugreport.cgi?bug=23118 What do you think? Should we treat this as a separate issue, or do you think this should be closed as a duplicate of 23118? -- Chris