tools/vagrant/stop_vbmc.sh

   1 #!/bin/bash
   2 set -eu -o pipefail
   3
   4 if [[ -f ${HOME}/.vbmc/master.pid && $(ps -p $(cat ${HOME}/.vbmc/master.pid) 2>/dev/null) ]]; then
   5     kill $(cat ${HOME}/.vbmc/master.pid)
   6     echo Stopped virtualbmc
   7 fi