foot/completions/zsh
Daniel Eklöf 82b8853f17
main: add --print-pid=FILE|FD
When specified, our PID is written to the specified file (or FD),
after we've successfully started up.
2020-02-05 19:54:16 +01:00
..
_foot main: add --print-pid=FILE|FD 2020-02-05 19:54:16 +01:00
_footclient main: add --print-pid=FILE|FD 2020-02-05 19:54:16 +01:00