#!/bin/bash # # A script to shutdown a dev swarm cluster. set -e ROOT="$(cd "$(dirname "$0")/../../.." && pwd)" source "${ROOT}/swarm/dev/scripts/util.sh" DEFAULT_BASE_DIR="${ROOT}/swarm/dev/cluster" usage() { cat >&2 </dev/null; then ip link delete dev "veth${name}0" fi } delete_network() { if ip link show "swarmbr0" &>/dev/null; then ip link delete dev "swarmbr0" fi } main "$@"