diff --git a/Dockerfile b/Dockerfile index a7639287d8687b806913a942e809ad2947a5517e..ef604f0cf969c2702024405ad861e4df79a28c19 100644 --- a/Dockerfile +++ b/Dockerfile @@ -7,6 +7,7 @@ WORKDIR /workspace COPY requirements.txt . RUN pip install -r requirements.txt RUN rm requirements.txt +RUN apt update; apt install nano # Note that we expect the cloned finn directory on the host to be # mounted on /workspace/finn -- see run-docker.sh for an example