github.com/dustinrc/deis@v1.10.1-0.20150917223407-0894a5fb979e/contrib/vagrant/destroy (about)

     1  #!/usr/bin/env bash
     2  
     3  function _destroy-all-vagrants {
     4    VMS=$(vagrant global-status | grep deis | awk '{ print $5 }')
     5    for dir in $VMS; do
     6      cd ${dir} && vagrant destroy --force
     7    done
     8  }
     9  
    10  _destroy-all-vagrants