From 0d779ef6359ff8a66b7c22ca7dee6b6097faa903 Mon Sep 17 00:00:00 2001 From: Phil Jones Date: Tue, 25 Oct 2022 00:31:25 +0100 Subject: Add --multi-instance option. --- doc/config | 5 +++++ doc/tofi.5.md | 8 ++++++++ doc/tofi.5.scd | 7 +++++++ 3 files changed, 20 insertions(+) (limited to 'doc') diff --git a/doc/config b/doc/config index 530e768..9f15f35 100644 --- a/doc/config +++ b/doc/config @@ -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_ -- cgit v1.2.3