diff options
| author | Richard van der Hoff <1389908+richvdh@users.noreply.github.com> | 2020-01-03 17:14:00 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-03 17:14:00 +0000 |
| commit | 08815566bca79d001ad1bf58b2b082e435b6e5df (patch) | |
| tree | c60e93d4dddc4431c5cd4e2bf4d6ff9d5a9ef5dc /scripts-dev/generate_sample_config | |
| parent | Raise an error if someone tries to use the log_file config option (#6626) (diff) | |
| download | synapse-08815566bca79d001ad1bf58b2b082e435b6e5df.tar.xz | |
Automate generation of the sample and debian log configs (#6627)
Diffstat (limited to 'scripts-dev/generate_sample_config')
| -rwxr-xr-x | scripts-dev/generate_sample_config | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/scripts-dev/generate_sample_config b/scripts-dev/generate_sample_config index 5e33b9b549..9cb4630a5c 100755 --- a/scripts-dev/generate_sample_config +++ b/scripts-dev/generate_sample_config @@ -7,12 +7,22 @@ set -e cd `dirname $0`/.. SAMPLE_CONFIG="docs/sample_config.yaml" +SAMPLE_LOG_CONFIG="docs/sample_log_config.yaml" + +check() { + diff -u "$SAMPLE_LOG_CONFIG" <(./scripts/generate_log_config) >/dev/null || return 1 +} 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 } + diff -u "$SAMPLE_LOG_CONFIG" <(./scripts/generate_log_config) >/dev/null || { + echo -e "\e[1m\e[31m$SAMPLE_LOG_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" + ./scripts/generate_log_config -o "$SAMPLE_LOG_CONFIG" fi |