From 4801fff08bf3d42361a72e339c59390828983f49 Mon Sep 17 00:00:00 2001 From: Phil Jones Date: Tue, 27 Sep 2022 14:34:03 +0100 Subject: Add --include option. This allows config files to include other files, so you can e.g. split style and behaviour options into different files. --- doc/tofi.5.md | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'doc/tofi.5.md') 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* -- cgit v1.2.3