(Courriels de diversion: <prelasse@concourons-courba.com> <exterminons@eucharisties-raffinee.com> <decrocheraient@plastifierai-oblige.com> <grapheme@redoraient-affacturer.com> <relogerez@frise-taira.com> <placa@bas-fonds-repu.com> <graisserez@rattacheriez-ciselent.com> <allegeraient@labouriez-accomplissent.com> <suivantes@refroidisse-catalyserait.com> <attardez@ostracismes-defectueuse.com> )
Le Lundi 25 Août 2003 07:55, jdd a écrit : > f1sxo wrote: > > Damned exact ! et un ln -s /tmp /usr ne resoudrait-il pas le pb ? > > si ton /tmp n'est pas capable de recevoir plus de 15Mo, tu dois avoir un > système très instable :-( Meuhh ! Moi Mossieur, pour la partition de mon disque dur, j'ai été conseillé par des spécialistes du Linux Users Group de Toulouse :-) Ils m'ont dit : " Avec 100 Mo, t'en as largement assez pour la racine". Ceci étant, je constate que lorsque je ne récupère pas de fichiers avec Mozilla ou Galeon j'ai 50 Mo de libre sur / :-( > > je n'ai jamais eu de problème de téléchargement avec mozilla, et > l'avantage sur wget est qu'il n'est pas nécessaire de faire un copier > coller pour l'URL. Ben, (tu m'excuseras cet écart de langage) c'est quand même un piege à c.., je lui demande de me mettre un fichier dans usr/src et il me l'installe provisoirement dans /tmp. Je ne lui ai pas demandé et il ne me la pas dit. > > fais aussi attention que /tmp est un répertoire très critique car ouvert > à tous en écriture (forcément). du coup tout le monde peut lire ce qui > s'y trouve :-(. Au besoin, créer un /usr/tmp et faire un lien vers là, > mais certainement pas vers /usr Oui. Conclusion rien ne vaut wget :) -- Frédéric f1sxo -------------------------------------------------------------------- Les listes de diffusion occultes: <URL:http://www.CULTe.org/listes/>