this post was submitted on 17 Feb 2024
270 points (100.0% liked)
196
16708 readers
2532 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
-9
to banish them and give them no chance to resistAlso please refresh my memory on how to find the process ID
I use
ps -aux | grep $EXECUTABLE