That worked ! Many thanks !
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 <mailto: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