On Mon, Feb 18, 2019 at 11:18:09PM +0100, Andreas Enge wrote: > So the two are clearly not equivalent. Which of them is actually > preferable? I find it a bit confusing that after running > "guix package -i hello" I cannot run "hello" immediately, unlike in > Debian.
Just running '. $PROFILE/etc/profile' is a bit dangerous. Especially on HPC machines. I guix-notes I also suggest to clear the other environment settings first with env -i /bin/bash --login --noprofile --norc But nobody loves me for that. We have pure 'guix environment'. Maybe we should have a 'guix run' too which starts a new shell with only those setting applicable to the profile. I think you can do this with 'guix environment' but it is not too clear. > I would not be too worried about bash vs. other shells: The current > suggestions already would not work in csh... it would be good to document though. Pj.