From b8941fd308b33de896f7166a062e919bd8a2b5f5 Mon Sep 17 00:00:00 2001
From: Sebastian Pipping <sebastian@pipping.org>
Date: Wed, 13 Jan 2010 22:58:23 +0100
Subject: Planet config writer: Add more notes to generated file

---
 write-overlays-ini.py | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

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()
-- 
cgit v1.2.3-65-gdbad