From f02e672dd33373d66c67544ee8a9e791e7e019f6 Mon Sep 17 00:00:00 2001
From: Christian Poessinger <christian@poessinger.com>
Date: Tue, 7 Sep 2021 10:08:01 +0200
Subject: Docker: add bash and bash-completion to install list
---
docker/Dockerfile | 2 ++
1 file changed, 2 insertions(+)
(limited to 'docker')
diff --git a/docker/Dockerfile b/docker/Dockerfile
index 1f44099f..86d54eaa 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -58,6 +58,8 @@ ENV LANG en_US.utf8
ENV OCAML_VERSION 4.12.0
RUN apt-get update && apt-get install -y \
+ bash \
+ bash-completion \
vim \
vim-autopep8 \
nano \
--
cgit v1.2.3