LEI-DAEMON-KILL(1) | public-inbox user manual | LEI-DAEMON-KILL(1) |
lei-daemon-kill - signal the lei-daemon
lei daemon-kill [-SIGNAL | -s SIGNAL | --signal SIGNAL]
Send a signal to the lei-daemon(8). "SIGNAL" defaults to "TERM".
This command should be run after updating the code of lei.
Feedback welcome via plain-text mail to <mailto:meta@public-inbox.org>
The mail archives are hosted at <https://public-inbox.org/meta/> and <http://4uok3hntl7oi7b4uf4rtfwefqeexfzil2w6kgk2jn5z2f764irre7byd.onion/meta/>
Copyright all contributors <mailto:meta@public-inbox.org>
License: AGPL-3.0+ <https://www.gnu.org/licenses/agpl-3.0.txt>
lei-daemon-pid(1), lei-daemon(8)
1993-10-02 | public-inbox.git |