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 /completions | |
| 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 'completions')
| -rw-r--r-- | completions/tofi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/completions/tofi b/completions/tofi index 3ab6c32..0e21eed 100644 --- a/completions/tofi +++ b/completions/tofi @@ -8,6 +8,7 @@ _tofi() words=( --help --config + --include --output --scale --anchor @@ -52,6 +53,8 @@ _tofi() case "${prev}" in --font) ;& + --include) + ;& --config|-c) _filedir return 0 |