#!/usr/bin/env bash
# Stops everything of a Devnet 2 box but sshd: run as a FILE (an inline pkill with "igneumd" in it kills the ssh shell that carries the word).
pkill -9 -f '[b]ash in/box-dn2.sh'; pkill -9 -f '[/]root/fleet/in/igneumd'; pkill -9 -f '[/]root/fleet/in/igneumd-gate'; pkill -9 -x igneum-miner; pkill -9 -f '[/]opt/igneum/pkg/bin/igneum-worker-cuda'; pkill -9 -f '[p]ython3 -u /root/fleet/in/box-prover.py'; pkill -9 -x sp1-gpu-server
sleep 2; echo "left=$(pgrep -c -f '[/]root/fleet/in/igneumd')+$(pgrep -c -x igneum-miner)+$(pgrep -c -f '[b]ash in/box-dn2.sh')"