diff options
Diffstat (limited to 'docker/Dockerfile')
| -rw-r--r-- | docker/Dockerfile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index 8d3fd1b5..bd1212ed 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -378,5 +378,9 @@ RUN echo "$(opam env --root=/opt/opam --set-root)" >> /etc/skel/.bashrc # Cleanup RUN rm -rf /tmp/* +# Do not enable visual mode on right click in vim +# https://github.com/vim/vim/issues/1326 +RUN echo "set mouse-=a" >> /etc/vim/vimrc + COPY entrypoint.sh /usr/local/bin/entrypoint.sh ENTRYPOINT ["/usr/local/bin/entrypoint.sh"] |