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.Bras@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/