From 0dae698cd7b49c445e86204039a0aad39023a477 Mon Sep 17 00:00:00 2001 From: Guillaume D Date: Tue, 14 Jul 2020 14:48:24 -0700 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index db1918c578..65c201bddb 100644 --- a/README.md +++ b/README.md @@ -113,7 +113,7 @@ This dummy directory is to prevent docker from sucking up the whole repo into the local context (which is then immediately discarded anyway). Next create the docker image: -`docker build -f ../Dockerfile.buster -t your-local-image-name .` +`docker build -f ../Dockerfile-build -t your-local-image-name .` You can then make this image operate on your local workspace like this: