ci: Complete dev container configuration (#3052)

This commit is contained in:
Jonah Aragon 2025-06-05 18:33:21 -05:00
parent 1c3f22015c
commit fd0d995cf8
No known key found for this signature in database
18 changed files with 404 additions and 538 deletions

25
run.sh
View file

@ -113,31 +113,8 @@ fi
# Set theme if insiders
if $insiders ; then
random_num=$RANDOM
export BUILD_INSIDERS=true
cmd_flags+=("--config-file=$PWD/.mkdocs-insiders-$random_num.yml")
touch "$PWD/.mkdocs-insiders-$random_num.yml"
cat <<EOT >> "$PWD/.mkdocs-insiders-$random_num.yml"
INHERIT: mkdocs.yml
watch:
- theme
- includes
- mkdocs.yml
markdown_extensions:
material.extensions.preview:
sources:
exclude:
- index.md
- tools.md
- about.md
- about/*
targets:
exclude:
- about/contributors.md
EOT
trap 'rm $PWD/.mkdocs-insiders-$random_num.yml' EXIT
cmd_flags+=("--config-file=$PWD/mkdocs.insiders.yml")
fi
# Run the command with the specified language