My understanding is a bit limited but I believe the file is used to track tool shed installed tools that use to belong in the Galaxy distribution. I don't think it has much use for a new Galaxy instance and no - I don't believe there is a way from the command-line to sort of synchronize this file with the one for usegalaxy.org. We are working on things like tool profiles and scripts to do this - I think Enis is going to present about this work to the Galaxy Admins meeting later in August (watch for announcement). Someday it will be easy to synchronize your tools with usegalaxy.org but I don't think it is yet unfortunately. -John On Thu, Jul 30, 2015 at 11:52 AM, Mic <mictadlo@gmail.com> wrote:
Hello, I found this ( https://raw.githubusercontent.com/galaxyproject/usegalaxy-playbook/8d1fe99ef... ) file.
If I would copy migrated_tools_conf.xml into the galaxy/config folder then would galaxy/run.sh script install all tools describe in that file?
Thank you in advance.
Mic
___________________________________________________________ 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/