From 65df103e898e7470854dd9ae6a0888dacfb77d8d Mon Sep 17 00:00:00 2001 From: Evangelos Lamprou Date: Wed, 23 Oct 2024 11:31:09 -0400 Subject: [PATCH] Add development docker instructions to README --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index 847646f8..1246cd94 100644 --- a/README.md +++ b/README.md @@ -10,4 +10,7 @@ $ docker build -t bensh . # Run the container $ docker run -it bensh + +# For development, mount the benchmarks directory +docker run -it -v "$(pwd):/benchmarks" bensh ```