this should work without problems. Just transfer the /export/ directory
to the other server.
Am 20.02.19 um 12:39 schrieb Abdullah El Kurdi:
I would like to ask if is there any way that I could copy my galaxy
docker instance from a server to another including the "export"
directory, without having to re-install all the tools again.
Thanks 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: