Hi,

I guess you're downloading a results file form the history. If so, when Galaxy prompts to you "save as" you can choose any name you like. It works for me.

   Cheers,

            Boaz

 
 
Boaz Shaanan, Ph.D.                                        
Dept. of Life Sciences                                     
Ben-Gurion University of the Negev                         
Beer-Sheva 84105                                           
Israel                                                     
                                                           
E-mail: bshaanan@bgu.ac.il
Phone: 972-8-647-2220  Skype: boaz.shaanan                 
Fax:   972-8-647-2992 or 972-8-646-1710    
 
 
                

From: galaxy-dev-bounces@lists.bx.psu.edu [galaxy-dev-bounces@lists.bx.psu.edu] on behalf of Alexandre Defelicibus [adefelicibus@gmail.com]
Sent: Tuesday, August 20, 2013 11:55 PM
To: galaxy-dev@lists.bx.psu.edu
Subject: [galaxy-dev] Name of downloaded file

Hi everyone,

Is there a way to set the name of the file which is downloaded by the user? The output name is, for example, Results.zip, but when I download the file, the name cames as Galaxy-100[Results.zip].data. I would like to receive the file with the name Results.zip. Is it possible?

Best regards,

--
Alexandre Defelicibus
Mestrando em Bioengenharia
Programa de Pós-Graduação em Bioengenharia
Universidade de São Paulo - USP