Replace xargs -d, by tr ',' '\0' | xargs -0 (#23800)

`xargs -d` doesn't work on Mac OS: `xargs: illegal option -- d`

There's a workaround using `tr`

See: https://stackoverflow.com/a/71409498/4823861
GitOrigin-RevId: 109c7e1e035b829122d96fd41824f18bdf81468a
This commit is contained in:
Antoine Clausse
2025-02-21 15:42:17 +01:00
committed by Copybot
parent a0d79d5871
commit f2aa79f49d

View File

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