docker
/
docs
mirror of https://github.com/docker/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

port delete script

This commit is contained in:
Jeffrey Morgan 2015-07-14 16:42:29 -07:00
parent 2137536624
commit 027d0f4b9d
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
windows/delete.sh
View File

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