[galaxy-dev] Re: tool installation problem

2019-03-27 Thread Matthias Bernt
Hi Marius, thanks a lot. I solved it. I finally found the reactivate link :) which was unfortunately dysfunctional (https://github.com/galaxyproject/galaxy/issues/7610) .. Best, Matthias On 26.03.19 16:40, Marius van den Beek wrote: Hi Matthias, It might just have been deactivated, in

[galaxy-dev] Re: tool installation problem

2019-03-26 Thread Matthias Bernt
Hi Marius, unfortunately this is not the case, but it's listed as "Uninstalled" when I use the advanced search... Would have been to easy :) Cheers, Matthias On 26.03.19 16:40, Marius van den Beek wrote: Hi Matthias, It might just have been deactivated, in which case you can either

[galaxy-dev] Re: tool installation problem

2019-03-26 Thread Marius van den Beek
Hi Matthias, It might just have been deactivated, in which case you can either activate or uninstall the repo in the admin panel -> Manage tools -> Advanced Search -> Deactivated or Uninstalled. Hope that helps, Marius On Tue, 26 Mar 2019 at 15:59, Matthias Bernt wrote: > Dear list, > > I