From 27caaa2a84237dd6e2d1111f41b15288a2a7b26f Mon Sep 17 00:00:00 2001
From: Yaman Umuroglu <maltanar@gmail.com>
Date: Thu, 28 Nov 2019 16:53:54 +0000
Subject: [PATCH] [Docker] add nano to container, helpful for quick changes

---
 Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Dockerfile b/Dockerfile
index a7639287d..ef604f0cf 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
-- 
GitLab