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?
Cette action est irreversible, confirmez la suppression du commentaire ?
Signaler le commentaire
Veuillez sélectionner un problème
Nudité
Violence
Harcèlement
Fraude
Vente illégale
Discours haineux
Terrorisme
Autre
gregg
anaxagore wrote:
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.
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.
++
anaxagore wrote:
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.
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.
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.
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.
++
anaxagore
gregg wrote:
anaxagore wrote:
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.
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ô!
gregg wrote:
anaxagore wrote:
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.
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ô!
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.
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ô!
gregg
anaxagore wrote:
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.
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...)
++
anaxagore wrote:
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.
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...)
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.
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...)
++
Marwan Burelle
On Fri, 02 Jul 2004 22:08:02 +0200 gregg wrote:
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...)
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 ( | )
On Fri, 02 Jul 2004 22:08:02 +0200
gregg <greggory@netJUSTSAYNOcourrier.com> wrote:
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...)
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
(burelle@lri.fr | Marwan.Burelle@ens.fr)
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...)
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 ( | )
