/
githubmirror
/
code-server
Обзор
Документация
Войти
/
githubmirror
/
code-server
Код
Запросы
0
Пакеты
0
Релизы
0
Аналитика
Безопасность
main
ci/dev/doctoc.sh
26 строк
952 B
Olivier Benz
Update Code to 1.94.2 (#7026)
18 окт 2024, 07:32
Не верифицирован
18 окт 2024, 07:32
fc6064d
Код
Авторство
О чём код?
#!/usr/bin/env bash set -euo pipefail main() { cd "$(dirname "$0")/../.." doctoc --title '# FAQ' docs/FAQ.md > /dev/null doctoc --title '# Setup Guide' docs/guide.md > /dev/null doctoc --title '# Install' docs/install.md > /dev/null doctoc --title '# npm Install Requirements' docs/npm.md > /dev/null doctoc --title '# Contributing' docs/CONTRIBUTING.md > /dev/null doctoc --title '# Maintaining' docs/MAINTAINING.md > /dev/null doctoc --title '# Contributor Covenant Code of Conduct' docs/CODE_OF_CONDUCT.md > /dev/null doctoc --title '# iPad' docs/ipad.md > /dev/null doctoc --title '# Termux' docs/termux.md > /dev/null if [[ ${CI-} && $(git ls-files --other --modified --exclude-standard) ]]; then echo "Files need generation or are formatted incorrectly:" git -c color.ui=always status | grep --color=no '\[31m' echo "Please run the following locally:" echo " npm run doctoc" exit 1 fi } main "$@"