I apologize for responding to my own email, but I thought others might want to know.

This turned out to be a Safari-dependent problem.  Lots of other people have complained, but there doesn't seem to be any direct fix.

My quick solution was to make sure the downloaded file is gzipped.  This kills two birds with one stone -- the download is smaller, and Safari doesn't mess with the extension.

Now, does anyone know if it is possible to gzip a dataset from a history within Galaxy prior to downloading?

David

On Sep 26, 2011, at 2:00 PM, David Hoover wrote:

Does anyone know how to prevent the .txt suffix from being added to files downloaded from Galaxy?  For example, a fasta file is downloaded as xxx.fasta.txt, instead of xxx.fasta.

Wondering,

David Hoover

Helix Systems Staff

http://helix.nih.gov

___________________________________________________________

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:

http://lists.bx.psu.edu/

___________________________________________________________
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:

 http://lists.bx.psu.edu/