mit-jamming-attackathon/scripts/stop_warnet.sh

20 lines
373 B
Bash
Executable File

#!/bin/bash
#
if [ ! -d "warnet" ]; then
echo "Error: warnet directory not found."
exit 1
fi
cd warnet
docker_info=$(docker info)
# Setup depends on docker or docker desktop.
if grep -q "Operating System:.*Desktop" <<< "$docker_info"; then
echo "Stopping warnet for docker desktop."
just stopd
else
echo "Stopping warnet for minikube."
just stop
fi