diff options
| -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() |