From 9d2d387f35b72351f8d8ef0e4e4860ba51422da9 Mon Sep 17 00:00:00 2001
From: Yohan Jarosz <yohanjarosz@yahoo.fr>
Date: Tue, 7 Jul 2015 14:32:28 +0200
Subject: [PATCH] provide configfile environment variable
---
Snakefile | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/Snakefile b/Snakefile
index 71f55d2..ac5da30 100644
--- a/Snakefile
+++ b/Snakefile
@@ -29,8 +29,7 @@ configfile:
shell.executable("bash")
# custom configuration file
-CUSTOM_CONFIG_PATH = "conf/userconfig.imp.json"
-
+CUSTOM_CONFIG_PATH = os.environ.get("CONFIGFILE", "conf/userconfig.imp.json")
# merge 2 configurations files together
if os.path.exists(CUSTOM_CONFIG_PATH):
with open(CUSTOM_CONFIG_PATH, 'r') as rhandle:
--
GitLab