29 lines
637 B
Bash
Executable File
29 lines
637 B
Bash
Executable File
#!/bin/bash
|
|
# capabilities: agents
|
|
# description: Kill agent session(s) running in the given directory
|
|
# Usage: kill_agent.sh --agent-id <agent-id>
|
|
set -euo pipefail
|
|
|
|
ANVILLM="${ANVILLM_9MOUNT:-$HOME/mnt/anvillm}"
|
|
|
|
AGENT_ID=""
|
|
|
|
while [[ $# -gt 0 ]]; do
|
|
case "$1" in
|
|
--agent-id) AGENT_ID="$2"; shift 2 ;;
|
|
*) echo "unknown argument: $1" >&2; exit 1 ;;
|
|
esac
|
|
done
|
|
|
|
if [ -z "$AGENT_ID" ]; then
|
|
echo "usage: kill_agent.sh --agent-id <agent-id>" >&2
|
|
exit 1
|
|
fi
|
|
|
|
if echo "kill" > "$ANVILLM/$AGENT_ID/ctl" 2>/dev/null; then
|
|
echo "Killed $AGENT_ID"
|
|
else
|
|
echo "No session found with id $AGENT_ID" >&2
|
|
exit 1
|
|
fi
|