Hello,

        I’m wondering if there is any way to change an established Tool Shed 
URL.
        I have a Galaxy instance and a Tool Shed instance 
(http://mytoolshed.url/xxx) A lot of tools have beed installed from that Tool 
Shed inside Galaxy (tools referenced inside workflows etc)
        I want to change the Tool Shed URL from http://mytoolshed.url/xxx to 
http://mytoolshed2.url/yyyy. 

        Galaxy and Tool Shed seems to use parts of the URL as a guid for tools.
        
        Tool Shed does not seem to bother to be called by either URLs (it 
generates guids with the new URLs scheam for new tools though)

        Galaxy does not seem to handle it, I changed the tool_sheds_conf.xml to 
point to new URL, but when I update a tool on the Tool Shed, Galaxy gets the 
new version but it generates buggy tool panel (the tool is cited twice)
        I also tried to mess around with the shed_tool_conf.xml apdapting the 
guids and the <tool_shed> items with no luck.

        Can someone point me to the right direction ? How the matching is done 
between shed_tool_conf.xml entries, the tool_version and tool_shed_repository 
tables.

        Thank you for your help.

Youssef Ghorbal
Institut Pasteur
___________________________________________________________
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:
  https://lists.galaxyproject.org/

To search Galaxy mailing lists use the unified search at:
  http://galaxyproject.org/search/mailinglists/

Reply via email to