Add new configuration options for custom separator

did/base.py

@@ -150,6 +150,22 @@ def width(self):
         except (NoOptionError, NoSectionError):
             return MAX_WIDTH
 
+    @property
+    def separator(self):
+        """ Separator character to use for the report """
+        try:
+            return self.parser.get("general", "separator")
+        except (NoOptionError, NoSectionError):
+            return "~"
+
+    @property
+    def separator_width(self):
+        """ Number of separator characters to use for the report """
+        try:
+            return int(self.parser.get("general", "separator_width"))
+        except (NoOptionError, NoSectionError):
+            return 79
+
     def sections(self, kind=None):
         """ Return all sections (optionally of given kind only) """
         result = []

did/cli.py

@@ -210,15 +210,15 @@ def main(arguments=None):
         print(header)
         team_stats = UserStats(options=options)
         if options.merge:
-            utils.header("Total Report")
+            utils.header("Total Report", did.base.Config().separator_width, did.base.Config().separator)
             utils.item("Users: {0}".format(len(users)), options=options)
 
         # Check individual user stats
         for user in users:
             if options.merge:
                 utils.item(user, 1, options=options)
             else:
-                utils.header(user)
+                utils.header(user, did.base.Config().separator_width, did.base.Config().separator)
             user_stats = UserStats(user=user, options=options)
             user_stats.check()
             team_stats.merge(user_stats)
@@ -227,7 +227,7 @@ def main(arguments=None):
         # Display merged team report
         if options.merge or options.total:
             if options.total:
-                utils.header("Total Report")
+                utils.header("Total Report", did.base.Config().separator_width, did.base.Config().separator)
             team_stats.show()
 
         # Return all gathered stats objects

did/utils.py

@@ -157,9 +157,9 @@ def load_components(*paths, **kwargs):
     return num_loaded
 
 
-def header(text):
+def header(text, separator_width=79, separator="~"):
     """ Show text as a header. """
-    print("\n{0}\n {1}\n{0}".format(79 * "~", text))
+    print("\n{0}\n {1}\n{0}".format(separator_width * separator, text))
 
 
 def shorted(text, width=79):

docs/config.rst

@@ -25,12 +25,16 @@ General
 Minimum config file should contain at least a ``general`` section
 with an email address which will be used for searching. Option
 ``width`` specifies the maximum width of the report, ``quarter``
-can be used to choose a different start month of the quarter::
+can be used to choose a different start month of the quarter.
+The ``separator`` and ``separator_width`` options control the
+character used, and width of the separator between users::
 
     [general]
     email = Petr Šplíchal <[email protected]>
     width = 79
     quarter = 1
+    separator = #
+    separator_width = 20
 
 In order to load additional plugins from your custom locations
 provide paths to be searched in the ``plugins`` option::