fix: wip

reitzig · Mar 11, 2024 · e17b9e3 · e17b9e3
1 parent d9dc5c7
commit e17b9e3
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -79,8 +79,10 @@ RUN (  cd install-tl \
  ) \
  && rm -rf install-tl \
  && tlmgr version | tail -n 1 > version \
- && echo "Installed on $(date)" >> version \
- && tlmgr option repository "${CTAN_MIRROR}"
+ && echo "Installed on $(date)" >> version
+ # && tlmgr option repository "${CTAN_MIRROR}"
+ # TODO: Determine if this is necessary -- shouldn't be, and
+ #       we don't want to hammer the same mirror whenever the image is used!
 
 ARG src_dir="/work/src"
 ARG tmp_dir="/work/tmp"