When installing "tools" into Galaxy from the Tool Shed, you are actually
installing Tool Shed repositories that contain tools, among other things (e.g.,
custom datatypes, exported workflows and other Galaxy utilities). The Galaxy
UI does provide the ability to unistall, but it is at the repository level,
just like installing is. You'll need to use the "Manage installed tool shed
repositories" option from the Admin perspective. The list of installed
repositories each provide a pop-up menu to that includes options to uninstall.
Greg Von Kuster
On May 23, 2014, at 1:34 PM, Evan Bollig <boll0...@umn.edu> wrote:
> I notice that the galaxy web api for installing tools from the
> toolshed does not include any entrypoint for uninstalling tools. This
> must be intentional, but what was the motivation to leave this out?
> -Evan Bollig
> Research Associate | Application Developer | User Support Consultant
> Minnesota Supercomputing Institute
> 599 Walter Library
> 612 624 1447
> 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:
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: