[galaxy-dev] separate galaxy tools directory

2011-06-01 Thread Shantanu Pavgi
I am wondering if galaxy tools directory structure can be changed so that tool configurations resides outside galaxy code base. Right now the galaxy code comes with some default/pre-installed tools in the $GALAXY_DIST/tools directory. Any additional tool configurations are also defined in the

Re: [galaxy-dev] separate galaxy tools directory

2011-06-01 Thread Nate Coraor
Shantanu Pavgi wrote: I am wondering if galaxy tools directory structure can be changed so that tool configurations resides outside galaxy code base. Right now the galaxy code comes with some default/pre-installed tools in the $GALAXY_DIST/tools directory. Any additional tool