Similar entries for other tool shed tools that are installed into a Galaxy
instance using the Galaxy Admin interface (not the tool migration stage
process) are available in the shed_tool_con.xml file (or whatever shed-related
files you have defined in your Galaxy config).
You can also find tool ids for all of the tools loaded into your Galaxy tool
panel by inspecting the single file name integrated_tool_conf.xml. Using this
file, you won't have to inspect more than the single file.
These files are all described in the tool shed wiki at the following page.
Greg Von Kuster
On Nov 16, 2012, at 2:52 AM, Andreas Kuntzagk wrote:
> Thanks, that helps in this case.
> But I might also need the ids for other toolshed tools to adjust the job
> runner settings.
> On 15.11.2012 15:23, Greg Von Kuster wrote:
>> Hi Andreas,
>> Assuming you have executed the migration process for the tools so they are
>> now installed into your Galaxy instance from the tool shed, you can check
>> the entries in the migrated_tools_conf.xml file and get the ids. Entries
>> will look something like the following where you can get the id from the
>> <id> tag.
>> Greg Von Kuster
>> On Nov 15, 2012, at 9:10 AM, Andreas Kuntzagk wrote:
>>> I upgraded to the latest version and again some tools moved to tool_shed. I
>>> now need to set job runners for these tools. Is there an easy way to get
>>> the tool_ids other then hovering the mouse over the tool name and write
>>> down the id?
>>> regards, Andreas
>>> Andreas Kuntzagk
>>> Berlin Institute for Medical Systems Biology at the
>>> Max-Delbrueck-Center for Molecular Medicine
>>> Robert-Roessle-Str. 10, 13125 Berlin, Germany
>>> 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:
> Andreas Kuntzagk
> Berlin Institute for Medical Systems Biology at the
> Max-Delbrueck-Center for Molecular Medicine
> Robert-Roessle-Str. 10, 13125 Berlin, Germany
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: