diff options
Diffstat (limited to 'docker/Dockerfile')
| -rw-r--r-- | docker/Dockerfile | 2 |
1 files changed, 2 insertions, 0 deletions
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 \ |