Re: eselect-mpi issues

Bryan Green writes:
> They would instead just have to source /etc/profile or
> /etc/csh.login after running 'eselect mpi'.

Actually, the current instructions from 'eselect mpi' to "Remember to source
/root/.env.d/mpi.sh or /root/.env.d/mpi.csh" are sufficient.  It wouldn't
be necessary to source the global scripts after running 'eselect mpi'.

-bryan

--
gentoo-cluster@... mailing list