[freeBSD]Pb telechargement
Le
anaxagore
Bonjour,
j'essai de telecharger un CDROM,
mais à chaque fois, le telechargement s'interromptavec une boite de
message qui affiche:
Not enough room on the disk to save /tmp/pt8dre7u.exe.
D'ou viens-ce?
Mon répertoire /tmp est de 521M, après cette tentative de
telechargement, 414M sont occupés;
Et le répertoire de téléchargement demandé est /usr/local/telechargement
(pas /tmp, veux-je dire).
Bon, et puis ce *.exe, je sais pas d'ou il viens, le fichier que je
tente de télécharger est la distrib Demudi,
rien avoir avec le monde des .exe, je crois. Un virus?
j'essai de telecharger un CDROM,
mais à chaque fois, le telechargement s'interromptavec une boite de
message qui affiche:
Not enough room on the disk to save /tmp/pt8dre7u.exe.
D'ou viens-ce?
Mon répertoire /tmp est de 521M, après cette tentative de
telechargement, 414M sont occupés;
Et le répertoire de téléchargement demandé est /usr/local/telechargement
(pas /tmp, veux-je dire).
Bon, et puis ce *.exe, je sais pas d'ou il viens, le fichier que je
tente de télécharger est la distrib Demudi,
rien avoir avec le monde des .exe, je crois. Un virus?
Poser une question
Tu télécharges avec quoi ?
Si tu cliques avec Mozilla, alors il télécharge d'abord dans ton /home
(l'un des sous-répertoires de .mozilla, quelquepart), et ensuite
seulement il déplacec le fichier, avec un nom correct, là où tu veux
(oui oui, c'est plutôt stupide)
Donc si ton /home est trop petit, il s'arrête et te le dit.
Le mieux reste de télécharger avec wget, amha.
++
Oui, c'est Mozilla. Sauf qu'il me reste 8Go das mon /home, l'erreur
concerne /tmp, et le site de telechergement est en http.
Vais essayer qd même wget. Mais j'aurai voulu aussi comprendre ce truc.
Merci de votre réponse.
tchô!
Alors c'est qu'il doit transiter par /tmp et pas par le /home avant de
copier ledit fichier dans le répertoire demandé.
j'avais eu ce problème, mais c'était il y a _très_ longtemps :)
Peut-être y a-t-il une option à spécifier dans le fichier de
configuration de Mozilla ?
En tous cas, wget est bien plus fonctionnel pour télécharger, que ce
soit du http ou du ftp. (enfin, ce point de vue doit être plutôt
subjectif...)
++
gregg
Tant qu'à faire, sur les BSD il existe fetch qui fait aussi ce genre de
chose (mais pas toutes les superbes options de mirroring de wget) et qui
est dans le système de base.
--
Burelle Marwan,
Equipe Bases de Donnees - LRI
http://www.cduce.org
( | )