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 Lindenb
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-nant
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
Hi Pierre,
It seems that instead of uninstalling you de-activated the repository. I
would uninstall the repository again. Please mind that there is this UX
hurdle when you want to uninstall - you have to _check_ the checkbox
labeled "Check to uninstall or leave blank to deactivate" that is in the
On 10/19/2016 03:23 PM, Martin Čech wrote:
Hi Pierre,
how old is your Tool Shed? When was the last time a tool installation
from it succeeded?
Hi martin,
here is the log from the toolshed :
commit 73f46f4e08141f78927056fa3e4709d0ab323972
Merge: 05e6682 27dc31a
Author: Nicola Sora
Hi Pierre,
how old is your Tool Shed? When was the last time a tool installation from
it succeeded?
thanks
M.
On Wed, Oct 19, 2016 at 9:20 AM Pierre Lindenbaum <
pierre.lindenb...@univ-nantes.fr> wrote:
Hi all, I got a "Internal Server Error" ==> "KeyError:
'tool_panel_section' " when I'm tryi
Hi all, I got a "Internal Server Error" ==> "KeyError:
'tool_panel_section' " when I'm trying to install a new tool from our
toolshed (see stacktrace below).
My galaxy instance was cloned from
commit 217854827ac7dfc88c5388cd2ecb24fffd86c060
Merge: 056a7e0 ad0d0bc
Author:
