Re: [galaxy-dev] A question about Galaxy

2019-02-21 Thread Björn Grüning 

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 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:
   https://lists.galaxyproject.org/

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


___
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/

[galaxy-dev] A question about Galaxy

2019-02-21 Thread 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 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:
  https://lists.galaxyproject.org/

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