Add basic docs for Docker.

google · Jul 19, 2023 · 2b5bfbb · 2b5bfbb
1 parent 4b42c1a
commit 2b5bfbb
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/tools/README.md b/tools/README.md
@@ -37,7 +37,14 @@ Then you can either use pip or setuptools.
 
 2. Run `bash pip_install.sh` or `pip_install.bat` (windows) from the following directory digitalbuildings/tools.
 
+### Docker
 
+1. Install [Docker Desktop](https://docs.docker.com/desktop/)
+2. Run `./tools/docker_run.sh` to build the docker image.
+3. All tools can now be called by passing the tool name and arguments to `./tools/docker_run.sh`, for example, to run ABEL:
+```
+$ ./tools/docker_run.sh abel
+```
 
 ### Setup (to be deprecated)