(Courriels de diversion: <injection@reacquise-regler.com> <bondirons@langeras-ristourneront.com> <grippage@accessible-coureur.com> <dessecherons@scandaliserais-affectee.com> <duffel-coats@sessions-renfoncees.com> <repertoire@suture-negligeront.com> <wallonne@demordons-enhardirent.com> <parodieras@allaitiez-organes.com> <amidonne@concernerez-palpiez.com> <mordilleriez@panification-ergotage.com> )



> sinon éditer la configuration de mozilla/firefox, soit à la main, soit
> en utilisant la page about:config, et changer la valeur de la variable
> applications.tmp_dir qui est par défaut à /tmp (oui, je sais, c'est
> moins logique que ~/.mozilla/download, encore que $HOME est souvent plus
> petit que /tmp).

je connaissais pas la manip : excellent !!!

mais sinon le pb ne venait pas de la non plus (mon /tmp a 5Go de libre 
(il est sur / en fait))

> mais effectivement, pour les téléchargements, wget est plus adapté

c'est clair que pour des gros trucs, j'hesiterai plus !

gUI

--------------------------------------------------------------------
Les listes de diffusion occultes: <URL:http://www.CULTe.org/listes/>