From cb6c5fa9e219e6598de674aaf4387297aacbb2f0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=20Kr=C3=BCger?= Date: Wed, 25 Nov 2020 22:19:34 +0100 Subject: [PATCH] extended batch "dir:" description --- docs/batch.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/batch.md b/docs/batch.md index 6e7b0de..c760b9c 100644 --- a/docs/batch.md +++ b/docs/batch.md @@ -55,6 +55,7 @@ A complete grammar is defined further below. The main components of a batch file dir : The base directory for all contained paths. Consider the example above. The path `instance1.cnf` will be expanded to `./some/path/instance1.cnf`. : If the base path of a batch is relative (e.g. `./path`) it is always relative to its parent batch (e.g. `./nested/path` will be extended to `./some/path/nested/path`). In case of root batches (highest level in batch file) relative base paths are relative to the file location. +: If no `"dir:"` is specified, the base path of the parent batch is inherited (no `"dir:"` is similar to `"dir": "."`). include : Here you can list paths to other batch files, which than will be included to the current batch.