diff options
| author | Phil Jones <philj56@gmail.com> | 2022-10-25 00:31:25 +0100 |
|---|---|---|
| committer | Phil Jones <philj56@gmail.com> | 2022-10-25 00:31:25 +0100 |
| commit | 0d779ef6359ff8a66b7c22ca7dee6b6097faa903 (patch) | |
| tree | 2e2786106dd5248e53687f01aba0c62e5499baac /doc | |
| parent | 68587e2920b52ad75f0badb4d3040b574797ac9e (diff) | |
Add --multi-instance option.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/config | 5 | ||||
| -rw-r--r-- | doc/tofi.5.md | 8 | ||||
| -rw-r--r-- | doc/tofi.5.scd | 7 |
3 files changed, 20 insertions, 0 deletions
@@ -169,6 +169,11 @@ # performance on slow systems. late-keyboard-init = false + # If true, allow multiple simultaneous processes. + # If false, create a lock file on startup to prevent multiple instances + # from running simultaneously. + multi-instance = false + # ### Inclusion # diff --git a/doc/tofi.5.md b/doc/tofi.5.md index 87e3b64..fd27dfb 100644 --- a/doc/tofi.5.md +++ b/doc/tofi.5.md @@ -107,6 +107,14 @@ options. > > Default: false +**multi-instance**=*true\|false* + +> If true, allow multiple simultaneous processes. If false, create a +> lock file on startup to prevent multiple instances from running +> simultaneously. +> +> Default: false + # STYLE OPTIONS **font**=*font* diff --git a/doc/tofi.5.scd b/doc/tofi.5.scd index 95f87d9..2a77435 100644 --- a/doc/tofi.5.scd +++ b/doc/tofi.5.scd @@ -98,6 +98,13 @@ options. Default: false +*multi-instance*=_true|false_ + If true, allow multiple simultaneous processes. + If false, create a lock file on startup to prevent multiple instances + from running simultaneously. + + Default: false + # STYLE OPTIONS *font*=_font_ |