This issue has been corrected in change set 4092:a2680959be31, which will be available in
the distribution shortly. Thanks very much for reporting this.
On Jul 29, 2010, at 9:35 AM, padioleau wrote:
Dear Galaxy developer,
Using the data-library upload, 'Upload a directory of files', I encounter
an issue. When uploading compressed files, without copying them in galaxy
folder, they are uncompressed in my folder but the file name extension is
not changed. This mean that I have files with 'gz' extension that are in
Is there a possibility to avoid this issue?
I'm using tools which can use compressed files, so for me the best would
be to just add the compressed file in my data-library.
I believe galaxy can accept compressed files, but I didn't found any
explanation in your wiki (index: compress, gzip or zip) to configure galaxy
galaxy-dev mailing list
Greg Von Kuster
Galaxy Development Team