File tree Expand file tree Collapse file tree 1 file changed +23
-14
lines changed
Expand file tree Collapse file tree 1 file changed +23
-14
lines changed Original file line number Diff line number Diff line change @@ -11,17 +11,26 @@ ENV PATH="${PATH}:/root/bin"
1111
1212RUN fmtutil-sys --all
1313
14- RUN tlmgr install fancyhdr \
15- fontawesome \
16- pgf \
17- lastpage \
18- latexmk \
19- synctex \
20- texcount \
21- latexindent \
22- titlesec \
23- marvosym \
24- enumitem \
25- preprint \
26- opensans \
27- fontaxes
14+ RUN tlmgr option repository "https://mirror.ctan.org/systems/texlive/tlnet" && \
15+ i=1; \
16+ until [ "$i" -gt 3 ]; do \
17+ tlmgr update --self && \
18+ tlmgr install fancyhdr \
19+ fontawesome \
20+ pgf \
21+ lastpage \
22+ latexmk \
23+ synctex \
24+ texcount \
25+ latexindent \
26+ titlesec \
27+ marvosym \
28+ enumitem \
29+ preprint \
30+ opensans \
31+ fontaxes && break; \
32+ echo "tlmgr failed on attempt ${i}/3, retrying in 15s..." >&2; \
33+ i=$((i + 1)); \
34+ sleep 15; \
35+ done && \
36+ [ "$i" -le 3 ]
You can’t perform that action at this time.
0 commit comments