20 Feb
2019
20 Feb
'19
5:09 p.m.
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.