7.9 years ago by
The "Export to File" feature under the history's "Options" menu will
export the entire history to a compressed tar file which can then be
downloaded. At present it is not possible to selectively choose
datasets for inclusion/exclusion in this archive.
However, if you download a single file from your history, it will be
compressed by the Galaxy server and decompressed by your browser on
fly, which means you won't have to transfer the whole file