From 548dca954348f2d20ab7162bad4f4b832119f24f Mon Sep 17 00:00:00 2001
From: Alex Povel <alex.povel@tuhh.de>
Date: Thu, 14 Oct 2021 17:47:46 +0200
Subject: [PATCH] Fix Dockerfile ARG bug

ARG is empty if not renewed for each stage
---
 .devcontainer/image/Dockerfile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.devcontainer/image/Dockerfile b/.devcontainer/image/Dockerfile
index c779404..f8d2e62 100644
--- a/.devcontainer/image/Dockerfile
+++ b/.devcontainer/image/Dockerfile
@@ -119,6 +119,9 @@ FROM base as downloads
 # This also happens when the *value* contains 'TEX'.
 # `ARG`s are only set during Docker image build-time, so this warning should be void.
 
+# Renew (https://stackoverflow.com/a/53682110):
+ARG TL_VERSION
+
 ARG TL_INSTALL_ARCHIVE="install-tl-unx.tar.gz"
 ARG EISVOGEL_ARCHIVE="Eisvogel.tar.gz"
 ARG INSTALL_TL_DIR="install-tl"
@@ -146,6 +149,9 @@ RUN \
 
 FROM base as main
 
+# Renew (https://stackoverflow.com/a/53682110):
+ARG TL_VERSION
+
 ARG TL_PROFILE="texlive.profile"
 # Auxiliary, intermediate file:
 ARG TMP_TL_PROFILE="${TL_PROFILE}.tmp"