From 027d0f4b9d3774a942e5625fc9cade844309b0ee Mon Sep 17 00:00:00 2001
From: Jeffrey Morgan <jmorganca@gmail.com>
Date: Tue, 14 Jul 2015 16:42:29 -0700
Subject: [PATCH] port delete script

---
 windows/delete.sh | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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]'