diff options
| author | Phil Jones <philj56@gmail.com> | 2022-09-27 14:34:03 +0100 |
|---|---|---|
| committer | Phil Jones <philj56@gmail.com> | 2022-09-27 14:34:03 +0100 |
| commit | 4801fff08bf3d42361a72e339c59390828983f49 (patch) | |
| tree | fc23e1fa0a954181159ce1ad8bf17546259e56f1 /doc/tofi.5.md | |
| parent | 452c1b6fa737661358cd2d6ce47d1a6400039f53 (diff) | |
Add --include option.
This allows config files to include other files, so you can e.g. split
style and behaviour options into different files.
Diffstat (limited to 'doc/tofi.5.md')
| -rw-r--r-- | doc/tofi.5.md | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/tofi.5.md b/doc/tofi.5.md index 8455667..b330278 100644 --- a/doc/tofi.5.md +++ b/doc/tofi.5.md @@ -20,6 +20,16 @@ case-insensitive, except where not possible (e.g. paths). Later options override earlier options, and command line options override config file options. +# SPECIAL OPTIONS + +**include**=*path* + +> Include the contents of another config file. If *path* is a relative +> path, it is interpreted as relative to this config file's path (or the +> current directory if **--include** is passed on the command line). +> Inclusion happens immediately, before the rest of the current file's +> contents are parsed. + # BEHAVIOUR OPTIONS **hide-cursor**=*true\|false* |