From 05c0481f8551193622cca24a19c5f0b127b999ce Mon Sep 17 00:00:00 2001
From: Moritz Maxeiner <moritz@ucworks.org>
Date: Fri, 14 Sep 2018 17:45:48 +0200
Subject: [PATCH] Add missing utility

---
 ubuntu-18.04/Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ubuntu-18.04/Dockerfile b/ubuntu-18.04/Dockerfile
index fbfa90c..075fa5e 100644
--- a/ubuntu-18.04/Dockerfile
+++ b/ubuntu-18.04/Dockerfile
@@ -113,6 +113,7 @@ RUN cd /tmp && \
     rm -rf pybind11-2.2.3
 
 RUN apt-get install -y \
+        file \
         libepoxy-dev \
         libglm-dev \
         libegl1-mesa-dev \
-- 
GitLab