19 Oct
2016
19 Oct
'16
8:59 a.m.
At the top of the 'manage installed tools' page there is a filter that hides uninstalled and deactivated tools. Click 'advanced search' and then 'Deactivated or uninstalled'. Do you see your tool deactivated there? M. On Wed, Oct 19, 2016 at 9:49 AM Pierre Lindenbaum < pierre.lindenbaum@univ-nantes.fr> wrote:
On 10/19/2016 03:36 PM, Martin Čech wrote:
Hi Pierre,
It seems that instead of uninstalling you de-activated the repository. I would uninstall the repository again.
admin > manage installed tools > there is no tool installed.
Search toolshed > select > >> preview and install > "Install to Galaxy"
all unchecked / empty ; submit > ERROR
Pierre