simplify docker cmd

cucapra · Oct 18, 2022 · fa8a12f · fa8a12f
1 parent c4e2a37
commit fa8a12f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -37,9 +37,9 @@ In particular, it can cause Verilator compilation to take notably longer than
 running locally on the machine and may influence the graphs produced later.
 
 To get started, simply run:
-```
-docker pull ghcr.io/cucapra/cidr-eval:latest
-docker run -it ghcr.io/cucapra/cidr-eval:latest
+```bash
+# remove --rm if you want the container to persist on exit
+docker run -it --rm ghcr.io/cucapra/cidr-eval:latest
 ```
 
 You will now have a terminal open in the container and can proceed to