Closed rstyd closed 1 week ago
This PR addresses #845. It makes /bin/bash the default shell and changes the approach we use for MPI.
/bin/bash
This PR addresses #845. It makes
/bin/bash
the default shell and changes the approach we use for MPI.