Use curl instead of wget.
ci/woodpecker/push/build Pipeline was successful
Details
ci/woodpecker/push/build Pipeline was successful
Details
This commit is contained in:
parent
9828313d9e
commit
87bb66436f
|
@ -3,7 +3,7 @@ pipeline:
|
||||||
image: docker.io/texlive/texlive
|
image: docker.io/texlive/texlive
|
||||||
commands:
|
commands:
|
||||||
- cd examples
|
- cd examples
|
||||||
- wget http://www.entcs.org/generic.zip
|
- curl http://www.entcs.org/generic.zip --output generic.zip
|
||||||
- unzip -p generic.zip generic/entcs.cls > entcs.cls
|
- unzip -p generic.zip generic/entcs.cls > entcs.cls
|
||||||
- rm generic.zip
|
- rm generic.zip
|
||||||
- latexmk -pdf
|
- latexmk -pdf
|
||||||
|
|
Loading…
Reference in New Issue