Re: [galaxy-user] how to download onto a server?