tools/vagrant/remove_machine_from_vbmc.sh

   1 #!/bin/bash
   2 set -eu -o pipefail
   3
   4 index=$1
   5 site=$2
   6 name=$3
   7
   8 vbmc --no-daemon delete ${site}-${name} || true