summary refs log tree commit diff
path: root/scripts
diff options
context:
space:
mode:
authorRichard van der Hoff <1389908+richvdh@users.noreply.github.com>2019-03-04 17:14:58 +0000
committerGitHub <noreply@github.com>2019-03-04 17:14:58 +0000
commit8e28bc5eeecbc2c9130c05e8c8237a546fb4d3ea (patch)
treeb6257afed4b8d90441ee285d425f910e7b5e9060 /scripts
parentFix v4v6 option in HAProxy example config (#4790) (diff)
downloadsynapse-8e28bc5eeecbc2c9130c05e8c8237a546fb4d3ea.tar.xz
Include a default configuration file in the 'docs' directory. (#4791)
Diffstat (limited to '')
-rwxr-xr-xscripts-dev/generate_sample_config18
-rwxr-xr-xscripts/generate_config11
2 files changed, 29 insertions, 0 deletions
diff --git a/scripts-dev/generate_sample_config b/scripts-dev/generate_sample_config
new file mode 100755

index 0000000000..5e33b9b549 --- /dev/null +++ b/scripts-dev/generate_sample_config
@@ -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 diff --git a/scripts/generate_config b/scripts/generate_config
index 61c5f049e8..93b6406992 100755 --- a/scripts/generate_config +++ b/scripts/generate_config
@@ -1,6 +1,7 @@ #!/usr/bin/env python import argparse +import shutil import sys from synapse.config.homeserver import HomeServerConfig @@ -50,6 +51,13 @@ if __name__ == "__main__": help="File to write the configuration to. Default: stdout", ) + parser.add_argument( + "--header-file", + type=argparse.FileType('r'), + help="File from which to read a header, which will be printed before the " + "generated config.", + ) + args = parser.parse_args() report_stats = args.report_stats @@ -64,4 +72,7 @@ if __name__ == "__main__": report_stats=report_stats, ) + if args.header_file: + shutil.copyfileobj(args.header_file, args.output_file) + args.output_file.write(conf)