Sure, PR is here:
https://github.com/galaxyproject/galaxy/pull/301
On 1 June 2015 at 15:17, Bjoern Gruening wrote:
> Hi Marius,
>
> do you mind to create a PR against the dev brach of Galaxy?
> https://github.com/galaxyproject/galaxy
>
> Thanks,
> Bjoern
>
> Hello everyone,
>
> I had some tro
Hi Marius,
do you mind to create a PR against the dev brach of Galaxy?
https://github.com/galaxyproject/galaxy
Thanks,
Bjoern
Hello everyone,
I had some trouble bootstrapping a new toolshed with the 15_05 release
(worked fine in the past),
and I thought the solution might be interesting.
|
Hello everyone,
I had some trouble bootstrapping a new toolshed with the 15_05 release
(worked fine in the past),
and I thought the solution might be interesting.
~/toolshed2/galaxy$ sh run_tool_shed.sh
-bootstrap_from_tool_shed http://toolshed.g2.bx.psu.edu
Bootstrapping from tool shed a