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.lindenb...@univ-nantes.fr <mailto: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/

Reply via email to