changeset 31:e07deb07289d

path to plugins
author Sebastien Jodogne <s.jodogne@gmail.com>
date Fri, 03 Jul 2015 11:10:24 +0200
parents 1f8d1f64e5d1
children 682c4e2a1162
files GenerateConfigurationForTests.py
diffstat 1 files changed, 7 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/GenerateConfigurationForTests.py	Thu Jul 02 14:41:27 2015 +0200
+++ b/GenerateConfigurationForTests.py	Fri Jul 03 11:10:24 2015 +0200
@@ -40,6 +40,9 @@
                     help = 'Overwrite the file even if it already exists',
                     action = 'store_true')
 
+parser.add_argument('--plugins', 
+                    help = 'Add a path to a folder containing plugins')
+
 args = parser.parse_args()
 
 
@@ -85,6 +88,10 @@
 # Enable case-insensitive PN (the default on versions <= 0.8.6)
 config = re.sub(r'("CaseSensitivePN"\s*:)\s*true', r'\1 false', config) 
 
+if args.plugins != None:
+    config = re.sub(r'("Plugins"\s*:\s*\[)', r'\1 "%s"' % args.plugins, config)
+   
+
 with open(args.target, 'wt') as f:
     f.write(config)