Is there a way to directly copy files from galaxy with the proper file
name? I'm currently using the galaxy API to download files via HTTP, but it
is very slow and would like to speed up the process of copying files
directly, but am having a hard time getting the proper file names.
Are there any suggestions on how to copy files directly from galaxy without
HTTP and with the proper filenames?
# Looking up files via API
$ ./display.py <api_key>
misc_blurb: 10,028,615 lines
misc_info: uploaded txt file
# Downloading files using a URL like
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: