diff options
Diffstat (limited to 'rpkid/rpki-confgen')
-rwxr-xr-x | rpkid/rpki-confgen | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/rpkid/rpki-confgen b/rpkid/rpki-confgen index cc5527d2..58758208 100755 --- a/rpkid/rpki-confgen +++ b/rpkid/rpki-confgen @@ -107,13 +107,12 @@ class Section(object): o.to_wiki(f) def to_conf(self, f, width): - f.write(''' -################################################################################ - -[''' + self.name + '''] -''') - for d in self.doc: - f.write("\n%s\n" % conf_wrapper.fill(d)) + f.write("\n" + "#" * 78 + "\n\n[" + self.name + "]\n") + if self.doc: + f.write("\n##") + for i, d in enumerate(self.doc): + f.write("%s\n%s\n" % ("" if i == 0 else "#", conf_wrapper.fill(d))) + f.write("##\n") for o in self.options: o.to_conf(f, width) |