diff options
author | Richard van der Hoff <1389908+richvdh@users.noreply.github.com> | 2019-03-04 17:14:58 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-04 17:14:58 +0000 |
commit | 8e28bc5eeecbc2c9130c05e8c8237a546fb4d3ea (patch) | |
tree | b6257afed4b8d90441ee285d425f910e7b5e9060 /scripts/generate_config | |
parent | Fix v4v6 option in HAProxy example config (#4790) (diff) | |
download | synapse-8e28bc5eeecbc2c9130c05e8c8237a546fb4d3ea.tar.xz |
Include a default configuration file in the 'docs' directory. (#4791)
Diffstat (limited to 'scripts/generate_config')
-rwxr-xr-x | scripts/generate_config | 11 |
1 files changed, 11 insertions, 0 deletions
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) |