Hi Abdullah,
this should work without problems. Just transfer the /export/ directory
to the other server.
Ciao,
Bjoern
Am 20.02.19 um 12:39 schrieb Abdullah El Kurdi:
Dear all,
I would like to ask if is there any way that I could copy my galaxy
docker instance from a server to another inclu
Dear all,
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 al
