Hello, On Thu, May 30, 2019 at 09:07:30AM +0200, Ricardo Wurmus wrote: > I was in favour of *replacing* the message with the suggestion to run > export GUIX_PROFILE=/this/profile > source $GUIX_PROFILE/etc/profile > because it usually does the right thing.
I think this was the conclusion reached, and am just waiting for Guix to give me the message to update one of my bash* files :-) Andreas
