mirror of
https://github.com/wez/wezterm.git
synced 2024-12-26 14:54:16 +03:00
295e0c444f
It has been failing sporadically due to GH API rate limiting. Use the gh CLI if available, to pick up our access token.
31 lines
1.0 KiB
Bash
Executable File
31 lines
1.0 KiB
Bash
Executable File
#!/bin/bash
|
|
|
|
tracked_markdown=$(git ls-tree -r HEAD --name-only docs | egrep '\.(markdown|md)$')
|
|
|
|
gelatyx lua --file $tracked_markdown --language-config ci/stylua.toml
|
|
gelatyx lua --file $tracked_markdown --language-config ci/stylua.toml --check || exit 1
|
|
|
|
set -x
|
|
|
|
# Use the GH CLI to make an authenticated request if available,
|
|
# otherwise just do an ad-hoc curl
|
|
function ghapi() {
|
|
if hash gh 2>/dev/null ; then
|
|
gh api $1
|
|
else
|
|
curl https://api.github.com$1
|
|
fi
|
|
}
|
|
|
|
[[ -f /tmp/wezterm.releases.json ]] || ghapi /repos/wez/wezterm/releases > /tmp/wezterm.releases.json
|
|
[[ -f /tmp/wezterm.nightly.json ]] || ghapi /repos/wez/wezterm/releases/tags/nightly > /tmp/wezterm.nightly.json
|
|
python3 ci/subst-release-info.py || exit 1
|
|
python3 ci/generate-docs.py || exit 1
|
|
mdbook-mermaid install docs
|
|
mdbook build docs
|
|
|
|
rm gh_pages/html/README.markdown
|
|
cp assets/fonts/Symbols-Nerd-Font-Mono.ttf gh_pages/html/fonts/
|
|
cp assets/icon/terminal.png gh_pages/html/favicon.png
|
|
cp "assets/icon/wezterm-icon.svg" gh_pages/html/favicon.svg
|