[galaxy-dev] tool_id for tool_shed tools

Hi, 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 SystemAdministrator Berlin Institute for Medical Systems Biology at the Max-Delbrueck-Center for Molecular Medicine Robert-Roessle-Str. 10, 13125 Berlin, Germany http://www.mdc-berlin.de/en/bimsb/BIMSB_groups/Dieterich