From 986620dd7105ff836e87dd0c3b7835f2d7060084 Mon Sep 17 00:00:00 2001
From: Nils Hanke <nils.hanke@rub.de>
Date: Mon, 12 Apr 2021 16:58:23 +0200
Subject: [PATCH] Add nano to Dockerfiles

---
 tools/docker/Dockerfile.centos7.5   | 1 +
 tools/docker/Dockerfile.centos8.1   | 1 +
 tools/docker/Dockerfile.centos8.2   | 1 +
 tools/docker/Dockerfile.ubuntu18.04 | 1 +
 4 files changed, 4 insertions(+)

diff --git a/tools/docker/Dockerfile.centos7.5 b/tools/docker/Dockerfile.centos7.5
index 47dc8a35..145a7988 100644
--- a/tools/docker/Dockerfile.centos7.5
+++ b/tools/docker/Dockerfile.centos7.5
@@ -32,6 +32,7 @@ RUN yum install -y \
         libmpc-devel \
         libxml2-devel \
         libtool \
+        nano \
         pkgconfig \
         python \
         kmod \
diff --git a/tools/docker/Dockerfile.centos8.1 b/tools/docker/Dockerfile.centos8.1
index adadfe13..e033ac19 100644
--- a/tools/docker/Dockerfile.centos8.1
+++ b/tools/docker/Dockerfile.centos8.1
@@ -29,6 +29,7 @@ RUN yum install epel-release -y && \
     libxml2-devel \
     mod_ssl \
     mpfr-devel \
+    nano \
     ocaml \
     ocaml-ocamlbuild \
     openssl \
diff --git a/tools/docker/Dockerfile.centos8.2 b/tools/docker/Dockerfile.centos8.2
index 69f160a7..680f3d09 100644
--- a/tools/docker/Dockerfile.centos8.2
+++ b/tools/docker/Dockerfile.centos8.2
@@ -29,6 +29,7 @@ RUN yum install epel-release -y && \
     libxml2-devel \
     mod_ssl \
     mpfr-devel \
+    nano \
     ocaml \
     ocaml-ocamlbuild \
     openssl \
diff --git a/tools/docker/Dockerfile.ubuntu18.04 b/tools/docker/Dockerfile.ubuntu18.04
index 1dfe1b48..1c3bafee 100644
--- a/tools/docker/Dockerfile.ubuntu18.04
+++ b/tools/docker/Dockerfile.ubuntu18.04
@@ -40,6 +40,7 @@ RUN apt-get update && DEBIAN_FRONTEND="noninteractive" apt-get install -y --no-i
         libssl-dev \
         libtool \
         libxml2-dev \
+        nano \
         ocaml \
         ocamlbuild \
         pkg-config \