Include a default configuration file in the 'docs' directory. (#4791)

This commit is contained in:
Richard van der Hoff 2019-03-04 17:14:58 +00:00 committed by GitHub
parent aba5eeabd5
commit 8e28bc5eee
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
11 changed files with 1114 additions and 13 deletions

View file

@ -0,0 +1,18 @@
#!/bin/bash
#
# Update/check the docs/sample_config.yaml
set -e
cd `dirname $0`/..
SAMPLE_CONFIG="docs/sample_config.yaml"
if [ "$1" == "--check" ]; then
diff -u "$SAMPLE_CONFIG" <(./scripts/generate_config --header-file docs/.sample_config_header.yaml) >/dev/null || {
echo -e "\e[1m\e[31m$SAMPLE_CONFIG is not up-to-date. Regenerate it with \`scripts-dev/generate_sample_config\`.\e[0m" >&2
exit 1
}
else
./scripts/generate_config --header-file docs/.sample_config_header.yaml -o "$SAMPLE_CONFIG"
fi