diff --git a/doc/source/configuration.rst b/doc/source/configuration.rst index 5ec78e3..56e7718 100644 --- a/doc/source/configuration.rst +++ b/doc/source/configuration.rst @@ -107,6 +107,10 @@ line. Gertty listens on a unix domain socket for remote commands at ~/.gertty.sock. This option may be used to change the path. + **lock-file** + Gertty uses a lock file per server to prevent multiple processes + from running at the same time. The default is ~/.gertty.servername.lock + Example: .. code-block: yaml diff --git a/examples/reference-gertty.yaml b/examples/reference-gertty.yaml index fd4c21e..83b4e3c 100644 --- a/examples/reference-gertty.yaml +++ b/examples/reference-gertty.yaml @@ -13,6 +13,7 @@ servers: # account settings to generate/retrieve this password. password: CHANGEME git-root: ~/git/ + lock-file: ~/.gertty.CHANGEME.lock # Each server section can have the following fields: # A name that describes the server, to reference on the command line. [required] @@ -53,6 +54,9 @@ servers: # Gertty listens on a unix domain socket for remote commands at # ~/.gertty.sock. You may change the path here: # socket: ~/.gertty.sock +# Gertty uses a lock file per server to prevent multiple processes +# from running at the same time. Example: +# lock-file: /run/lockme.lock # Gertty comes with two palettes defined internally. The default # palette is suitable for use on a terminal with a dark background.