20 Feb
2019
20 Feb
'19
5:39 a.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.