diff --git a/Dockerfile b/Dockerfile index e75cbae..fc7c202 100644 --- a/Dockerfile +++ b/Dockerfile @@ -2,7 +2,7 @@ FROM ubuntu:18.04 RUN apt-get update -qq && apt-get install -qqy --no-install-recommends \ git wget bzip2 file unzip libtool pkg-config cmake build-essential \ - automake yasm gettext autopoint vim python3 python3-distutils \ + automake yasm gettext autopoint vim-tiny python3 python3-distutils \ ninja-build ca-certificates curl less && \ apt-get clean -y && \ rm -rf /var/lib/apt/lists/* diff --git a/Dockerfile.dev b/Dockerfile.dev index 8b9cc45..1e5160c 100644 --- a/Dockerfile.dev +++ b/Dockerfile.dev @@ -2,7 +2,7 @@ FROM ubuntu:18.04 RUN apt-get update -qq && apt-get install -qqy --no-install-recommends \ git wget bzip2 file unzip libtool pkg-config cmake build-essential \ - automake yasm gettext autopoint vim python3 python3-distutils \ + automake yasm gettext autopoint vim-tiny python3 python3-distutils \ ninja-build ca-certificates curl less && \ apt-get clean -y && \ rm -rf /var/lib/apt/lists/*