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
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
On Thu, Jul 30, 2015 at 11:52 AM, Mic <micta...@gmail.com> wrote:
> I found this (
> ) 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.
> 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:
> To search Galaxy mailing lists use the unified search at:
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:
To search Galaxy mailing lists use the unified search at: