diff options
| author |   Sebastian Pipping <sebastian@pipping.org> | 2009-10-13 02:53:36 +0200 |
|---|---|---|
| committer | Sebastian Pipping <sebastian@pipping.org> | 2009-10-13 02:53:36 +0200 |
| commit | 497f9d561a77732f2aebe79da0f178a6f439f941 (patch) | |
| tree | 15aa9cf2ee56610346f5e14e5cb97d003af29b89 | |
| parent | Fix first log entry being swallowed (diff) | |
| download | repositories-xml-format-497f9d561a77732f2aebe79da0f178a6f439f941.tar.gz repositories-xml-format-497f9d561a77732f2aebe79da0f178a6f439f941.tar.bz2 repositories-xml-format-497f9d561a77732f2aebe79da0f178a6f439f941.zip | |
Make gitosis.conf script add proper repositories.xml header
| -rwxr-xr-x | diff-gitosis-conf-against-repositories-xml.py | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/diff-gitosis-conf-against-repositories-xml.py b/diff-gitosis-conf-against-repositories-xml.py index 1fc5601..6a5b499 100755 --- a/diff-gitosis-conf-against-repositories-xml.py +++ b/diff-gitosis-conf-against-repositories-xml.py @@ -183,4 +183,12 @@ for section_name in gitosis_conf.sections(): if extended_xml_location != None: indent(repositories) - a.write(extended_xml_location) + extended_xml = open(extended_xml_location, 'w') + extended_xml.write("""\ +<?xml version="1.0" encoding="UTF-8"?> +<!-- $Header$ --> +<?xml-stylesheet href="/xsl/repositories.xsl" type="text/xsl"?> +<!DOCTYPE repositories SYSTEM "/dtd/repositories.dtd"> +""") + a.write(extended_xml, encoding='utf-8') + extended_xml.close() |