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