interhack/2026.camp.public.website
interhack/2026.camp.public.website
16
1
Fork 2
Code Issues 11 Pull requests 2 Projects Releases Packages 1 Wiki Activity Actions

fix(ci): curl flags
All checks were successful
/ build (push) Successful in 3m43s
Details

Browse source
This commit is contained in:
Hadrien 2026-03-24 19:21:47 +01:00
parent 738cde0f4a
commit fa03cf79cc
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
update-guide.sh
View file

@ -8,7 +8,7 @@ echo "Mise a jour du guide dans guide.html a partir du edgedoc"
echo "$GUIDE_EDGEDOC_URL" echo "$GUIDE_EDGEDOC_URL"
set -e set -e
curl --silent --fail-with-body "$GUIDE_EDGEDOC_URL/download" > guide.tmp.md curl --silent --fail "$GUIDE_EDGEDOC_URL/download" > guide.tmp.md
pandoc --from markdown --to html guide.tmp.md > guide.tmp.html pandoc --from markdown --to html guide.tmp.md > guide.tmp.html
cat guide.template.html \ cat guide.template.html \
| sed '/EDGEDOC/{ | sed '/EDGEDOC/{