Hi Bjoern, This is a tool I am developing. In Galaxy admin, I could not find any option to manage tools and versions. In my tools directory, there is just one tool xml file for this tool. Thanks, Ketan On Sat, Feb 1, 2014 at 6:40 PM, Björn Grüning <bjoern.gruening@gmail.com>wrote:

Hi Ketan,

have you installed your tool via the Tool Shed? If so, than you need to delete the old revision of your tool.

Cheers, Bjoern

...

Hi,

I renamed my tool name in <tool name=""> but when I restart Galaxy server, I see a dropdown in front of the tool title with two versions with same value. When I select one it gives current name and when selecting other it gives the older name of the tool.

My intention here was to rename the tool and I did not do anything that would tell Galaxy to preserve versions. After looking into the past mailing list posts, I tried to :

1. Restart Galaxy server. 2. Deleted integrated_tool_panel.xml 3. cleared my browser cache and cookies

None of the above worked though. Any suggestions?

Attached is a snapshot of what I am seeing.

Best, -- Ketan

___________________________________________________________ The Galaxy User list should be used for the discussion of Galaxy analysis and other features on the public server at usegalaxy.org. Please keep all replies on the list by using "reply all" in your mail client. For discussion of local Galaxy instances and the Galaxy source code, please use the Galaxy Development list:

http://lists.bx.psu.edu/listinfo/galaxy-dev

To manage your subscriptions to this and other Galaxy lists, please use the interface at:

http://lists.bx.psu.edu/

To search Galaxy mailing lists use the unified search at:

http://galaxyproject.org/search/mailinglists/

-- Ketan