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 ?

Thank you,


Marc Bras

Marc Bras



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:


Reply via email to