diff --git a/windows/delete.sh b/windows/delete.sh index d14b49e7c5..aa3c15fc13 100644 --- a/windows/delete.sh +++ b/windows/delete.sh @@ -6,9 +6,7 @@ clear cd "$(dirname "$BASH_SOURCE")" -( set -x; ./boot2docker.exe stop ) || true - -( set -x; ./boot2docker.exe delete; rm -rf "$HOME/.boot2docker" ) || true +( set -x; ./docker-machine rm -f dev ) || true echo echo '[Press any key to exit]'