Remove special install for newer git

mmore500 · Nov 10, 2023 · 8e80528 · 8e80528
1 parent 204e083
commit 8e80528
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -59,6 +59,7 @@ RUN \
     fonts-liberation \
     gconf-service \
     gdb \
+    git \
     gpg-agent \
     gzip \
     hdf5-helpers \
@@ -154,12 +155,6 @@ RUN \
     wget \
     xdg-utils \
     && \
-  add-apt-repository ppa:git-core/ppa -y \
-    && \
-  apt-get update -qq \
-    && \
-  apt-get install -y --no-install-recommends git \
-    && \
   apt-get clean \
     && \
   rm -rf /var/lib/apt/lists/* \