Pjotr Prins <pjotr.publi...@thebird.nl> writes:
> 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 You can do this all in one go by passing etc/profile as the init file for bash in this invocation of env. No need to separately source etc/profile then! -- Ricardo
