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?
On Wed, Oct 19, 2016 at 9:49 AM Pierre Lindenbaum <
> 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
Please keep all replies on the list by using "reply all"
in your mail client. To manage your subscriptions to this
and other Galaxy lists, please use the interface at:
To search Galaxy mailing lists use the unified search at: