From ee7734efd7acbc25e20521a1960c737ed093068a Mon Sep 17 00:00:00 2001 From: Sergei Trofimov Date: Mon, 14 May 2018 14:31:20 +0100 Subject: [PATCH] doc: agenda: add note about plugin names Add a note explaining how plugin names are treated, and which names are considered to be identical. --- doc/source/how_tos/users/agenda.rst | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/doc/source/how_tos/users/agenda.rst b/doc/source/how_tos/users/agenda.rst index ebf358df..be0959ff 100644 --- a/doc/source/how_tos/users/agenda.rst +++ b/doc/source/how_tos/users/agenda.rst @@ -48,6 +48,10 @@ config.yaml (see :ref:`configuration-specification` section). same structure by the YAML parser. You can use whatever format you find easier/clearer. +.. note:: WA plugin names are case-insensitive, and dashes (``-``) and + underscores (``_``) are treated identically. So all of the following + entries specify the same workload: ``rt_app``, ``rt-app``, ``RT-app``. + Multiple iterations -------------------