this post was submitted on 17 Feb 2024
270 points (100.0% liked)
196
16708 readers
2209 users here now
Be sure to follow the rule before you head out.
Rule: You must post before you leave.
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
It's easy. Just open up a terminal and type
(Replace the $PID with the process id of the process) if you don't know the process id you can do
If these don't work you can add a
-9to banish them and give them no chance to resistAlso please refresh my memory on how to find the process ID
You can do
and the PID is in the second column of the output. However for this use case I recommend a process manager like htop or btop
I use
ps -aux | grep $EXECUTABLEhtop or any process monitor will tell you.
Pidof
top for Ubuntu at least will show you the top processes, I think sorted by averaged CPU usage.
You probably want to get on the habit of using pkill instead of killall in case you're ever on a different system. You could have a surprise.
Similarly,
$$is the current PID,$PPIDis the parent PID. (Bash)So 'kill -9 $$' is just suicide?
With suicide, you have a chance to get your affairs in order.
kill -9 $$is hiring an assassin to kill you and not tell you when it will happen. It happens suddenly without warning.You can type
seppukufor that