diff options
author | 2009-10-12 23:22:30 +0200 | |
---|---|---|
committer | 2009-10-12 23:22:30 +0200 | |
commit | 6e8f3a265cac83f60a74082adcc488862c66ab2c (patch) | |
tree | 7cc06bd699d44bedc7a921a1356245c06c085443 | |
parent | Fix root node in layman-global.txt creator script (diff) | |
download | repositories-xml-format-6e8f3a265cac83f60a74082adcc488862c66ab2c.tar.gz repositories-xml-format-6e8f3a265cac83f60a74082adcc488862c66ab2c.tar.bz2 repositories-xml-format-6e8f3a265cac83f60a74082adcc488862c66ab2c.zip |
Make layman-global.txt creator script apply header and encoding
-rwxr-xr-x | write-layman-global-txt.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/write-layman-global-txt.py b/write-layman-global-txt.py index 48d5316..72216fe 100755 --- a/write-layman-global-txt.py +++ b/write-layman-global-txt.py @@ -75,4 +75,10 @@ repositories.tag = 'layman' recurse_print(repositories) indent(repositories) -a.write('layman-global.txt') +layman_global_txt = open('layman-global.txt', 'w') +layman_global_txt.write("""\ +<?xml version="1.0" encoding="UTF-8"?> +<!-- $Header$ --> +""") +a.write(layman_global_txt, encoding='utf-8') +layman_global_txt.close() |