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.lindenb...@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 > >
___________________________________________________________ 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: https://lists.galaxyproject.org/ To search Galaxy mailing lists use the unified search at: http://galaxyproject.org/search/mailinglists/