From 020f393e8ca70e908007abc8723ccb1afa847cf8 Mon Sep 17 00:00:00 2001 From: Nitesh Turaga Date: Tue, 16 Dec 2014 11:04:58 -0500 Subject: [PATCH] "shed_tool_conf.xml.sample" is located inside config directory. Only seems logical that "shed_tool_conf.xml" should be in config also. --- config/galaxy.ini.sample | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config/galaxy.ini.sample b/config/galaxy.ini.sample index ad038e970db..b5da4842240 100644 --- a/config/galaxy.ini.sample +++ b/config/galaxy.ini.sample @@ -136,7 +136,7 @@ paste.app_factory = galaxy.web.buildapp:app_factory # Tools can be locally developed or installed from Galaxy tool sheds. # (config/tool_conf.xml.sample will be used if left unset and # config/tool_conf.xml does not exist). -#tool_config_file = config/tool_conf.xml,shed_tool_conf.xml +#tool_config_file = config/tool_conf.xml,config/shed_tool_conf.xml # Enable / disable checking if any tools defined in the above non-shed tool_config_files # (i.e., tool_conf.xml) have been migrated from the Galaxy code distribution to the Tool