diff --git a/full/Dockerfile b/full/Dockerfile index 8317f34ee..753f0bd8d 100644 --- a/full/Dockerfile +++ b/full/Dockerfile @@ -7,6 +7,7 @@ RUN yes | unminimize \ unzip \ bash-completion \ build-essential \ + ninja-build \ htop \ jq \ less \