LEI-DAEMON-KILL(1)

πŸ’– LEI-DAEMON-KILL(1) β€” public-inbox user manual, but make it a whole vibe πŸ’–

🌸 NAME 🌸

lei-daemon-kill β€” literally the command that signals the lei-daemon. Bestie, that’s the whole plot.

πŸŽ€ SYNOPSIS πŸŽ€

lei daemon-kill [-SIGNAL | -s SIGNAL | --signal SIGNAL]

πŸ’… DESCRIPTION πŸ’…

Okay so you’re sending a signal to lei-daemon(8). The SIGNAL defaults to TERM. No cap.

This command should be run after updating the code of lei. That’s the assignment, fr fr.

🫢 You’ve got the synopsis flavors too: -SIGNAL, -s SIGNAL, and --signal SIGNAL β€” same energy, slightly different outfit.

🚨 SIGNALS 🚨

  • SIGTERM β€” sends a graceful termination signal. lei-daemon(8) will exit when all currently running lei commands are done. The listen socket will be released as soon as the signal is processed so another lei-daemon(8) process can take its place. Iconic, polite, clean.
  • SIGKILL β€” kills lei-daemon(8) immediately. Some worker processes may remain running for a short while. Absolutely zero chill, but noted.

πŸ“¬ CONTACT πŸ“¬

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/>. Go peek, iykyk.

Copyright all contributors <mailto:meta@public-inbox.org>.

License: AGPL-3.0+ <https://www.gnu.org/licenses/agpl-3.0.txt>.

πŸ‘€ SEE ALSO πŸ‘€

lei-daemon-pid(1), lei-daemon(8). That’s the little crew right there.


🫢 xoxo, this LEI-DAEMON-KILL(1) page came from public-inbox.git, dated 1993-10-02 β€” bye bestie! πŸ’–

πŸ“¦ where this page comes from