From 624f341dc7f7a23fbd173623c8f0d983a425b0e8 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Thu, 16 May 2019 15:54:57 +0200 Subject: [PATCH] small doc improvement --- docs/source/Configuring_SimGrid.rst | 5 ++++- src/simgrid/sg_config.cpp | 5 ++++- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/docs/source/Configuring_SimGrid.rst b/docs/source/Configuring_SimGrid.rst index ac9affccfb..9bed9da73b 100644 --- a/docs/source/Configuring_SimGrid.rst +++ b/docs/source/Configuring_SimGrid.rst @@ -79,7 +79,10 @@ Existing Configuration Items .. note:: The full list can be retrieved by passing ``--help`` and - ``--help-cfg`` to an executable that uses SimGrid. + ``--help-cfg`` to an executable that uses SimGrid. Try passing + ``help`` as a value to get the list of values accepted by a given + option. For example, ``--cfg=plugin:help`` will give you the list + of plugins available in your installation of SimGrid. - **clean-atexit:** :ref:`cfg=clean-atexit` diff --git a/src/simgrid/sg_config.cpp b/src/simgrid/sg_config.cpp index 816d265631..1cbf235da9 100644 --- a/src/simgrid/sg_config.cpp +++ b/src/simgrid/sg_config.cpp @@ -68,7 +68,10 @@ static void sg_config_cmd_line(int *argc, char **argv) XBT_HELP("\n" "Each of these configurations can be used by adding\n" " --cfg=