diff options
author | 2010-01-13 22:58:23 +0100 | |
---|---|---|
committer | 2010-01-13 22:59:35 +0100 | |
commit | b8941fd308b33de896f7166a062e919bd8a2b5f5 (patch) | |
tree | 6184c802cc24402f15f5479727efde1e7166095f | |
parent | Planet config writer: Handle feed URI collisions better (diff) | |
download | repositories-xml-format-b8941fd308b33de896f7166a062e919bd8a2b5f5.tar.gz repositories-xml-format-b8941fd308b33de896f7166a062e919bd8a2b5f5.tar.bz2 repositories-xml-format-b8941fd308b33de896f7166a062e919bd8a2b5f5.zip |
Planet config writer: Add more notes to generated file
-rwxr-xr-x | write-overlays-ini.py | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/write-overlays-ini.py b/write-overlays-ini.py index 737c539..6a834e6 100755 --- a/write-overlays-ini.py +++ b/write-overlays-ini.py @@ -5,6 +5,7 @@ import sys import os +import datetime if len(sys.argv) != 1 + 3: print "USAGE:\n python %s foo/repositories.xml bar/overlays.base baz/overlays.ini" % \ os.path.basename(sys.argv[0]) @@ -78,6 +79,18 @@ for repo in repositories: print ' Warning: %s is missing a homepage' % repo_name f = open(overlays_ini_location, 'w') -f.write('# NOTE: This file is generated, do not edit directly.\n\n') +f.write("""\ +# NOTE: This file was GENERATED on %(date)s, do not edit directly. +# +# The code of the generator script (%(script)s) is up here: +# http://git.overlays.gentoo.org/gitweb/?p=proj/repositories-xml-format.git;a=summary +# +# +# Look for [Planet] and [DEFAULT] further down. +# (The order of sections is nothing we can teach ConfigParser.write() easily ..) +# +""" % { + 'date':str(datetime.date.today()), + 'script':os.path.basename(sys.argv[0])}) overlays_ini.write(f) f.close() |