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/
