From 57451e65a29da9d485c6ced6234b454d5ff9a145 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Mon, 14 Jan 2019 01:11:40 -0800 Subject: [PATCH] [labs] fix Docker command Reviewed By: mbouaziz Differential Revision: D13650264 fbshipit-source-id: 52cfa1ea0 --- infer/src/labs/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/labs/README.md b/infer/src/labs/README.md index 0d9b77084..5b7d7df8f 100644 --- a/infer/src/labs/README.md +++ b/infer/src/labs/README.md @@ -12,7 +12,7 @@ Using Docker is the fastest way: you do not need to clone the Infer repository a 1. Get Docker: https://www.docker.com/get-started -2. Run the infer Docker image with `docker run -it infer/infer:infer-latest-java-dev -v $HOME/infer-docker:/infer-host /bin/bash`. This will give you a prompt *inside the Docker image*. Do not close that terminal for the duration of the lab. +2. Run the infer Docker image with `docker run -it -v $HOME/infer-docker:/infer-host infer/infer:infer-latest-java-dev /bin/bash`. This will give you a prompt *inside the Docker image*. Do not close that terminal for the duration of the lab. 3. Within Docker, copy the /infer directory to your mount point: `cp -av /infer/. /infer-host`