vara-config

With this tool, you can view and modify the configuration of the tool suite.

Usage: vara-config [OPTIONS] COMMAND [ARGS]...

  Main function for managing the VaRA-TS config.

  `vara-config`

Options:
  --help  Show this message and exit.

Commands:
  set   KEY=VALUE Key-Value pairs of configuration options and values.
  show  CONFIG_OPTIONS The config options to show.

With vara-config set, you can set one or multiple config options at once:

Usage: vara-config set [OPTIONS] KEY=VALUE

  KEY=VALUE Key-Value pairs of configuration options and values.

  Specify the config options like paths, e.g., paper_config/folder. Do not put
  spaces before or after the '=' sign; if a value contains spaces, you should
  define it with double quotes: foo="bar baz".

Options:
  --help  Show this message and exit.

Note

The config is organized in a hierarchical structure. The vara-config tool uses a path-like notation to find options in this config-tree, e.g., paper_config/folder refers to the folder option in the paper_config sub-config.

You can view specific parts of the config or the complete config with vara-config show:

Usage: vara-config show [OPTIONS] [CONFIG_OPTIONS]...

   CONFIG_OPTIONS The config options to show.

  You can also show whole sub-configs. Show the complete config if no options
  are given.

Options:
  --help  Show this message and exit.

Note

You can print larger sub-trees of the config by passing partial paths to vara-config show.