modern_lisp-machine/misc/scripts/focus.sh

13 lines
234 B
Bash
Raw Normal View History

2024-09-08 20:03:55 +00:00
EXEC_SHELL_PATH=$(command -v bash)
while true
do
PID=$(pgrep element)
if [ -n "$PID" ]; then
echo "Killing element (PID: $PID)"
kill -9 $PID
echo "element killed successfully!"
fi
sleep 1
done