This is almost the same message as: http://lists.gnu.org/archive/html/guix-devel/2016-09/msg01570.html
I mean this is a reminder on the subject. Ludovic, I think you suggested a good solution to a "Customizing /etc/profile" problem. Since I will no longer be a blocker of <http://bugs.gnu.org/20255> after this fix, would you like to commit that change, or are there any issues with that? -- Thanks, Alex
