Fix prefetch_custom_texlive command (#23813)

Previous attempt failed with `sh: gcr.io/overleaf-ops/texlive-full:2023.1: No such file or directory`.

 Now tested with `make prefetch_custom_texlive`

GitOrigin-RevId: 09a5e1d3c270bdb58c761c8be3c665155879290f
This commit is contained in:
Antoine Clausse 2025-02-24 11:03:23 +01:00 committed by Copybot
parent d65be7772d
commit e429ee533f

View file

@ -44,9 +44,8 @@ prefetch_custom_compose_pull:
prefetch_custom: prefetch_custom_texlive
prefetch_custom_texlive:
echo -n "$$ALL_TEX_LIVE_DOCKER_IMAGES" | tr ',' '\0' | xargs -0 -I% \
sh -exc 'tag=%; re_tag=quay.io/sharelatex/$${tag#*/*/}; docker pull $$tag; docker tag $$tag $$re_tag'
echo "$$ALL_TEX_LIVE_DOCKER_IMAGES" | tr ',' '\n' | xargs -I% \
sh -exc 'tag=%; re_tag=quay.io/sharelatex/$${tag#*/*/}; docker pull $$tag; docker tag $$tag $$re_tag'
prefetch_custom: prefetch_old
prefetch_old: