20 Dec
2011
20 Dec
'11
5:48 a.m.
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 ? 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 ------------------------------------------