From 1f6d19b5f4dbdbd419dea3338dd147fc35b96a3b Mon Sep 17 00:00:00 2001
From: Fabian Zickgraf <f.zickgraf@dashdos.com>
Date: Fri, 11 Mar 2022 14:37:15 +0100
Subject: [PATCH] Do not store packages-master.tar.gz on disk

This reduces the image size.
---
 Dockerfile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index ee21644..863e7d6 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -17,8 +17,7 @@ RUN    mkdir /home/gap/inst/ \
 # download and build GAP packages
 RUN    mkdir /home/gap/inst/gap-${GAP_BRANCH}/pkg \
     && cd /home/gap/inst/gap-${GAP_BRANCH}/pkg \
-    && wget -q https://files.gap-system.org/gap4pkgs/packages-${GAP_BRANCH}.tar.gz \
-    && tar xzf packages-${GAP_BRANCH}.tar.gz \
+    && curl --location https://files.gap-system.org/gap4pkgs/packages-${GAP_BRANCH}.tar.gz | tar xz \
     && ../bin/BuildPackages.sh
 
 # build JupyterKernel