From a045b027bf8f9e19fd53c2b33399fad901b1dd34 Mon Sep 17 00:00:00 2001 From: Francesco Mari Date: Fri, 8 Jun 2018 16:09:46 +0200 Subject: [PATCH] Fix link to Docker Toolbox Signed-off-by: Francesco Mari --- docs/contributing/set-up-dev-env.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/contributing/set-up-dev-env.md b/docs/contributing/set-up-dev-env.md index 311edf8951..3d56c0b8c7 100644 --- a/docs/contributing/set-up-dev-env.md +++ b/docs/contributing/set-up-dev-env.md @@ -93,7 +93,7 @@ can take over 15 minutes to complete. 1. Open a terminal. - For [Docker Toolbox](../../toolbox/overview.md) users, use `docker-machine status your_vm_name` to make sure your VM is running. You + For [Docker Toolbox](https://github.com/docker/toolbox) users, use `docker-machine status your_vm_name` to make sure your VM is running. You may need to run `eval "$(docker-machine env your_vm_name)"` to initialize your shell environment. If you use Docker for Mac or Docker for Windows, you do not need to use Docker Machine.