💾 Archived View for perso.pw › blog › articles › 17.gmi captured on 2023-04-19 at 23:44:56. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-01-29)
-=-=-=-=-=-=-
NIL=> Comment on Mastodon
If you want to kill a process by its name instead of its PID number,
which is easier if you have to kill processes from the same binary,
here are the commands depending of your operating system:
$ killall pid_name
$ pkill pid_name
Be careful with Solaris killall. With no argument, the command will
send a signal to every active process, which is not something you
want.
$ killall pid_name