diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-08-22 22:38:03 +0530 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-08-22 22:38:03 +0530 |
commit | 2a1c2f23f21aab460292ede7f9091968a4ac922b (patch) | |
tree | aedd7f6baf05abad6f833cb6e64017fc0680b2fa /.dir-locals.el | |
parent | 0980667fe8d08596b107cb19ab57563c66cea221 (diff) |
OpenMPI environment variable used to disable need for OpenSSH
Until now, OpenMPI would complain about not having `ssh' or `rsh' as a
remote shell feature. However, such features should not be necessary in a
reproducible scenario and they also have major security issues.
With this commit, we are now using OpenMPI's `OMPI_MCA_plm_rsh_agent'
environment variable to disable any remote shell dependency for it (as
suggested by Boud). Therefore, any dependency for OpenSSH has been
removed. But I thought to keep the build instructions incase it may be
useful under some un-foreseen scenario. However, to discourage people from
building it, a notice was added ontop of the build instructions.
This bug was found, tested and solved thanks to Roberto Baena Gallé and
Boud Roukema.
This fixes bug #56724.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions