From 9b3a649f17d01c8b43a9a6d64c34817470133c65 Mon Sep 17 00:00:00 2001
From: Sebastian Englbrecht <sebastian.englbrecht@tum.de>
Date: Thu, 17 Jun 2021 18:58:51 +0200
Subject: [PATCH] Do apt update before upgrade

---
 docker/Dockerfile.dev | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docker/Dockerfile.dev b/docker/Dockerfile.dev
index ce83ab82a..41a3296c9 100644
--- a/docker/Dockerfile.dev
+++ b/docker/Dockerfile.dev
@@ -14,7 +14,8 @@ RUN groupadd --gid $USER_GID $USERNAME \
     && echo $USERNAME ALL=\(root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME \
     && chmod 0440 /etc/sudoers.d/$USERNAME
 
-RUN apt-get install -y git curl vim htop
+RUN apt-get update \
+    && apt-get install -y git curl vim htop
 
 RUN pip3 install pylint black