@@ -203,35 +203,38 @@ shells are picky about the permissions of the startup file, for
203203example). The list below contains some common shells and the startup
204204files that they read/execute upon login:
205205
206- .. error :: TODO This rendering sucks, but I couldn't make it play nice
207- with list-table, either. :-(
208-
209- * ``bash `` or ``zsh ``:
210-
211- * **Non-interactive login: ** ``$HOME/.bashrc `` if it exists.
212- * **Interactive login **: ``$HOME/.bash_profile `` if it exists, or
213- ``$HOME/.bash_login `` if it exists, or ``$HOME/.profile `` if it
214- exists (in that order). Note that some Linux distributions
215- automatically come with ``$HOME/.bash_profile `` scripts for users
216- that automatically execute ``$HOME/.bashrc `` as well. Consult the
217- bash man page for more information.
218-
219- * ``sh ``:
220-
221- * **Non-interactive login: ** This shell does not execute any file
222- automatically, so Open MPI will execute the ``$HOME/.profile ``
223- script before invoking Open MPI executables on remote nodes
224- * **Interactive login: ** ``$HOME/.profile ``
225-
226- * ``csh ``:
227-
228- * **Non-interactive login: ** ``$HOME/.cshrc ``
229- * **Interactive login: ** ``$HOME/.cshrc `` followed by
230- ``$HOME/.login ``
231-
232- * ``tcsh ``:
233-
234- * **Non-interactive login: ** ``$HOME/.tcshrc `` if it exists,
235- ``$HOME/.cshrc `` if it does not
236- * **Interactive login: ** ``$HOME/.tcshrc `` if it exists,
237- ``$HOME/.cshrc `` if it does not, followed by ``$HOME/.login ``
206+ .. list-table ::
207+ :header-rows: 1
208+
209+ * - Shell
210+ - Non-interactive login
211+ - Interactive login
212+
213+ * - ``bash `` or ``zsh ``
214+ - ``$HOME/.bashrc `` if it exists.
215+ - #. ``$HOME/.bash_profile `` if it exists, or
216+ #. ``$HOME/.bash_login `` if it exists, or
217+ #. ``$HOME/.profile `` if it exists (in that order).
218+
219+ Note that some Linux distributions automatically come
220+ with ``$HOME/.bash_profile `` scripts for users that
221+ automatically execute ``$HOME/.bashrc `` as well. Consult the
222+ bash man page for more information.
223+
224+ * - ``sh ``
225+ - This shell does not execute any file automatically, so Open MPI
226+ will execute the ``$HOME/.profile `` script before invoking Open
227+ MPI executables on remote nodes
228+ - ``$HOME/.profile ``
229+
230+ * - ``csh ``
231+ - ``$HOME/.cshrc ``
232+ - ``$HOME/.cshrc `` followed by ``$HOME/.login ``
233+
234+ * - ``tcsh ``
235+ - #. ``$HOME/.tcshrc `` if it exists, or
236+ #. ``$HOME/.cshrc `` if it does not
237+ - #. ``$HOME/.tcshrc `` if it exists, or
238+ #. ``$HOME/.cshrc `` if it does not
239+
240+ Afterwards, execute ``$HOME/.login ``
0 commit comments