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?


On Wed, Oct 19, 2016 at 9:49 AM Pierre Lindenbaum < <>> wrote:

    On 10/19/2016 03:36 PM, Martin Čech wrote:
    > Hi Pierre,
    > It seems that instead of uninstalling you de-activated the
    > I would uninstall the repository again.

          admin > manage installed tools > there is no tool installed.

    Search toolshed > select > >> preview and install > "Install to
     > 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:

Reply via email to