Allow plugins to alter the paths config

Signed-off-by: Bernat Gabor <bgabor8@bloomberg.net>

1 files changed, 6 insertions, 0 deletions

diff --git a/coverage/config.py b/coverage/config.py
index 78a3e86a..166f34ea 100644
--- a/coverage/config.py
+++ b/coverage/config.py
@@ -421,6 +421,9 @@ class CoverageConfig(object):
         `value` is the new value for the option.
 
         """
+        if option_name == "paths":
+            self.paths = value
+            return
 
         # Check all the hard-coded options.
         for option_spec in self.CONFIG_FILE_OPTIONS:
@@ -448,6 +451,9 @@ class CoverageConfig(object):
         Returns the value of the option.
 
         """
+        if option_name == "paths":
+            return self.paths
+
         # Check all the hard-coded options.
         for option_spec in self.CONFIG_FILE_OPTIONS:
             attr, where = option_spec[:2]