On Dec 20, 2011, at 8:48 AM, Marc Bras wrote:

> Hi,
> 
> We have a Galaxy server in production and I have a problem when I want to 
> download a huge file with HTTP URL.
> Galaxy starts well to download my file, but Galaxy writes this file in "/ 
> tmp" directory.
> 
> Is it possible to change this directory ?

Hi Marc,

I'm not quite following your question.  Are you saying that the file you are 
attempting to download from the Galaxy server is written to /tmp before being 
sent to your client (your web browser)?  Or is the problem that when you upload 
a file via a URL in the URL/Text box on the upload form, the file is written to 
/tmp?

If it's the latter, you can change this directory by setting $TEMP to the 
desired directory in the environment in which the Galaxy server starts.

--nate

> 
> Thank you,
> 
> Regards,
> 
> 
> Marc Bras
> 
> -- 
> Marc Bras
> 
> ------------------------------------------
> 
> marc.b...@versailles.inra.fr
> 
> INRA-URGI:
> Unité de Recherche Génomique Info
> Centre de Recherche de Versailles-Grignon
> Route de Saint Cyr
> 78026 Versailles - FRANCE
> 
> Tel: +33 1 30 83 34 70
> 
> ------------------------------------------
> 
> ___________________________________________________________
> 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/

Reply via email to