Re: Installation sur partition GPT
Le mercredi 03 octobre 2012 à 23:19 +0200, Sylvain L. Sauvage a écrit : > Ensuite, l’installateur Debian ne gère pas encore l’UEFI (pas > au mois de juillet en tout cas, il y a des travaux dessus mais > je n’ai pas vu d’annonce spécifique à ce propos). Des images existent pour installer en uefi : http://blog.einval.com/debian/CDs . Pour les avoir testées avec un ordinateur dell, elles fonctionnent très bien. Ce sont des images hybrides, donc possibilités de les copier sur une clé avec un dd. -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe" vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/1349327906.1367.2.ca...@jen.toniob.net
Re: Installation sur partition GPT
Le mercredi 3 octobre 2012 23:19:02, Sylvain L. Sauvage a écrit : > Le mercredi 3 octobre 2012 à 20:16:42, Eddy F. a écrit : > > Bonjour, > > ’soir, > > > Confronté pour la première fois à UEFI et une infâme > > partition GPT, je ne sais pas comment installer et aurais > > bien besoin de conseils. > > Poh poh poh, GPT est très bien, c’est UEFI qui est tout > pourri. J'avais cru comprendre que GPT est un sous-produit de UEFI. Pour le moment en tout cas, je m'en serais bien passé. Ce qui m'énerve fondamentalement c'est que c'est un constructeur de matériel qui, associé à un vendeur de fenêtres, décide pour moi du type de partitionnement que je dois utiliser. Certes, je me doute qu'il faudra bien y passer tôt ou tard sauf qu'ils ont décidé pour moi que c'est maintenant... et cela ne m'arrange vraiment pas. Je choisis Linux pour la liberté qu'il me donne sur ma machine mais pour le moment c'est la machine qui impose son fonctionnement. Système privateur de m... Enfin, je m'égare. > > Je souhaite installer Debian Wheezy sur un Asus n56v (le > > choix du portable n'étant pas de mon ressort). > > > > Contrainte : ne pas bousiller le Windows 7 installé dessus > >[…] > > D’abord, la meilleure adresse que j’ai trouvée : > http://www.rodsbooks.com/efi-bootloaders/index.html > [...] J'ai été jeter un œil rapide et cela a l'air bien intéressant ; j'y passerai à coup sûr beaucoup de temps demain. Pour tout le reste de tes précieux commentaires, en les relisant je me rends compte qu'ils suscitent chez moi beaucoup de questions. Je vais d'abord continuer à chercher mais je crains de devoir rappliquer avec des demandes d'éclaircissements. Merci beaucoup pour ton aide. -- Eddy F. -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe" vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/201210040037.44539.edfnet-...@yahoo.fr
Re: ondemand governor failed
Le Thu, 04 Oct 2012 00:27:34 +0200 jacques a écrit: > Bonjour > > OSSEC me remonte çà : > > Oct 2 23:03:54 desdemone kernel: [ 131.604145] ondemand governor > failed, too long transition latency of HW, fallback to performance governor > > Ca veut dire quoi ? > > Merci, J. > -- A ce que je comprends du message ça semble vouloir que ton matériel en mode ondemand a de trop fortes latences lors des transitions entre les différents états et que donc il se remet en mode performance. C'est quoi comme matos ? Gaëtan -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe" vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/20121004003337.bd624537a9aab8c304bb1...@neuf.fr
ondemand governor failed
Bonjour OSSEC me remonte çà : Oct 2 23:03:54 desdemone kernel: [ 131.604145] ondemand governor failed, too long transition latency of HW, fallback to performance governor Ca veut dire quoi ? Merci, J. -- Pour passer au message suivant appuyez sur # -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe" vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/506cbbd6.7080...@lavignotte.org
Re: Installation sur partition GPT
Le mercredi 3 octobre 2012 22:26:04, C. Mourad Jaber a écrit : > Bonjour, > > Le plus simple pour identifier les partitions serait que tu lance ton ordi > avec un CD live. > > Cela te permettra de monter toutes les partitions et de les identifier, parce > qu'au vu des > informations que tu as trouvées, c'est une installation d'usine assez > atypique... > > ++ > > Mourad Merci, c'est une excellente idée. -- Eddy F. -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe" vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/201210040014.42057.edfnet-...@yahoo.fr
Re: [HS] comportement curieux de malloc
Le 02/10/2012 09:41, BERTRAND Joël a écrit : > Et comment t'assures-tu que le prochain mmap() va pouvoir > se faire exactement là où tu veux (juste après le mmap() > précédent) ? Le seul truc que je vois de viable, c'est la liste > chaînée ou l'arbre si l'on peut vouloir accéder à un objet > précis en fonction d'un champ connu. Tu peux choisir l'adresse où tu fais ton mmap (au lieu de passer NULL en premier paramètre). C'est fait assez classiquement quand on veut réserver la même plage d'adresses dans des processus différents (éventuellement sur des machines similaires mais distinctes) pour, par exemple, faire une DSM ou de la migration transparente de structures de données. Maintenant qu'il y a de la randomisation par défaut pour l'espace d'adressage, il doit probablement falloir regarder un peu /proc/self/maps pour choisir le lieu où faire le mmap. Sur mes ordis, je désactive toujours cette randomisation : je programme et c'est impossible de débogguer avec gdb si les adresses changent d'une exécution à l'autre. Cordialement, Vincent -- Vincent Danjean GPG key ID 0x9D025E87 vdanj...@debian.org GPG key fingerprint: FC95 08A6 854D DB48 4B9A 8A94 0BF7 7867 9D02 5E87 Unofficial pkgs: http://moais.imag.fr/membres/vincent.danjean/deb.html APT repo: deb http://people.debian.org/~vdanjean/debian unstable main -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe" vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/506cb204.6040...@free.fr
Re: Installation sur partition GPT
Le mercredi 3 octobre 2012 à 20:16:42, Eddy F. a écrit : > Bonjour, ’soir, > Confronté pour la première fois à UEFI et une infâme > partition GPT, je ne sais pas comment installer et aurais > bien besoin de conseils. Poh poh poh, GPT est très bien, c’est UEFI qui est tout pourri. > Je souhaite installer Debian Wheezy sur un Asus n56v (le > choix du portable n'étant pas de mon ressort). > > Contrainte : ne pas bousiller le Windows 7 installé dessus >[…] D’abord, la meilleure adresse que j’ai trouvée : http://www.rodsbooks.com/efi-bootloaders/index.html Ensuite, l’installateur Debian ne gère pas encore l’UEFI (pas au mois de juillet en tout cas, il y a des travaux dessus mais je n’ai pas vu d’annonce spécifique à ce propos). Donc, pour installer une Debian, il faut commencer par installer autre chose (perso : une Fedora, mais certains auraient réussi avec des *buntu) et utiliser debootstrap (qui, ça tombe bien, est disponible en paquet pour à peu près toutes les distributions). Perso, je n’ai pas d’expérience avec UEFI pour du boot Windows + Linux, seulement pur Linux. Le cas qui aurait pu se présenter a été réglé simplement par un passage en BIOS (disable UEFI pour toi ; ce qui n’est pas toujours possible sur les toute nouvelles machines) et, comme il y a eu réinstallation de Windows (pour cause de passage sur un SSD _et_ parce que le Windows tout neuf sur la bête de course utilisée ramait déjà comme un malade à cause des pourriciels installés d’office et pas vraiment désinstallables…), je n’ai pas eu besoin de faire démarrer Windows installé en UEFI présent. (Je ne sais donc pas si un Windows installé en UEFI fonctionnera si le système passe en BIOS. On ne sait jamais avec cette m…) Note que je ne suis pas sûr non plus que LILO, GRUB et Cie sachent démarrer un Windows en UEFI. Ça ne devrait pas empêcher de démarrer le Windows depuis le menu UEFI mais j’ai lu (je ne sais plus si c’est dans le lien donné plus haut) qu’il était plutôt conseillé de rester en BIOS pour du multiboot… Sinon, voilà en gros comment se présente l’UEFI : — il y a une partition spéciale, FAT ou VFAT, d’environ 100 ou 200 Mio, en général la première, mais pas toujours…, qui contient les chargeurs de démarrage (boot loaders) ; — chaque système peut y avoir un chargeur ; — _et_ chaque chargeur continue de pouvoir démarrer plusieurs systèmes (youpi !). Le micrologiciel en CMOS (je vais dire ça puisque l’UEFI remplace le BIOS, ou plutôt que chacun est un « mode ») voit les différents chargeurs et _peut_ te les proposer (menu de démarrage). Sur ma machine UEFI, j’ai deux chargeurs : un GRUB-1-modifié de Fedora (que j’ai conservée, pour le moment) et un eLILO installé depuis ma Debian. Le eLILO est le premier, s’il plante, le GRUB-1-modifié de Fedora prend la main automatiquement (d’où sa conservation ;o). Oh, une grosse astuce au passage, pour les clefs USB (sur ma machine UEFI, je n’ai pas de lecteur optique et, de toutes façons, je serais passé par une clef USB) : ne pas utiliser unetbootin pour créer la clef mais copier directement l’image ISO (p.ex. avec dd). Sinon, la clef démarre grâce à syslinux, donc en mode BIOS, donc le linux de l’installateur est en BIOS, donc pas en UEFI et ne peut donc pas s’installer (= installer un chargeur) parce qu’il n’a pas accès aux informations EFI. Euh, note aussi qu’avec eLILO, les initrd et les noyaux doivent tenir dans la partition UEFI. 100 Mio, ça peut vite être court… Sur un système avec un Windows préinstallé, tu te retrouves avec : — la partition UEFI ; — une partition de boot pour Windows ; — une partition système pour Windows ; — possiblement, une partition données pour Windows ; — une partition de récupération parce qu’ils sont pas foutus de livrer un DVD… Donc, ouais, faut retrouver qui est qui. Pour toi : > SCSI 1 (0,0,0) (sda) - 500.1 GB ATA ST9500423AS > n° 1134.2 MB > 1.0 MBEspace libre > n° 2 26.8 GBntfs > n° 3209.7 MBB fat 32 > n° 4200.0 GBntfs > n° 5272.9 GBntfs > 7.7 kBEspace libre Je dirais que : — la n°3 est l’UEFI ; — la n°4, le Windows ; — la n°5, la Windows Données ; — la n°2, la récupération ; — la n°1, un gros trou ? Je te conseille vraiment de lire le lien plus haut… Bon courage, -- Sylvain Sauvage -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe" vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/201210032319.02605.sylvain.l.sauv...@free.fr
Re: Installation sur partition GPT
Bonjour, Le plus simple pour identifier les partitions serait que tu lance ton ordi avec un CD live. Cela te permettra de monter toutes les partitions et de les identifier, parce qu'au vu des informations que tu as trouvées, c'est une installation d'usine assez atypique... ++ Mourad Le 03/10/2012 20:16, Eddy F. a écrit : Bonjour, Confronté pour la première fois à UEFI et une infâme partition GPT, je ne sais pas comment installer et aurais bien besoin de conseils. Je souhaite installer Debian Wheezy sur un Asus n56v (le choix du portable n'étant pas de mon ressort). Contrainte : ne pas bousiller le Windows 7 installé dessus ni la partition de récupération sous peine de me faire sévèrement enguirlander (et ce n'est bien sûr pas pour mon usage sinon ce windows serait vite effacé). Malheureusement j'ai des comptes à rendre donc je dois être extrêmement prudent. Dans l' « ordinateur » de Windows 7, on voit qu'il y a deux volumes : C: déjà bien rempli par le système Windows et D: pratiquement vide. Nulle trace de la partition de récupération. Habitué à installer Debian, je me dis que ce sera simple, il suffira d'utiliser D: pour Linux. Je lance l'installateur Debian (pas la version graphique) et arrivé au partitionnement je choisis la méthode manuelle. Et là, je constate que je ne sais pas où sont les données. SCSI 1 (0,0,0) (sda) - 500.1 GB ATA ST9500423AS n° 1134.2 MB 1.0 MBEspace libre n° 2 26.8 GBntfs n° 3209.7 MBB fat 32 n° 4200.0 GBntfs n° 5272.9 GBntfs 7.7 kBEspace libre Je passe les détails (google, retour dans Windows, google, doc debian,...) Dans Windows 7, je trouve un « outil de gestion des disques » qui m'indique qu'il y a quatre volumes : - un premier, sans nom, sans système de fichiers, de 25 Go et dont le « statut » est « Sain (Partition de récupération) » - deuxième, sans nom, sans système de fichiers, de 200 Mo, « Sain (Partition du système EFI) - troisième, nommé DATA (D:), ntfs, 254,14 Go, « Sain (Partition principale) » - dernier, nommé OS (C:), ntfs, 186,3 Go, « Sain (Démarrer, Fichier d'échange, Vidage sur incident, Partition principale) Mouais... l'ordre, le nombre et les tailles de partitions ne correspondent pas vraiment. Enfin je suppose que sda2 = la partition de récupération sda4 = windows 7 (C:) qui dans Windows paraît déjà bien occupé sda5 = (D:) qui dans Windows est pratiquement vide. Pensez-vous que ce soit correct ? Ces partitions indiquées par l'installateur Debian sont-elles de vraies partitions ? En d'autres termes, puis-je décider sans risque de consacrer sda5 à Debian (et le diviser pour créer une partition racine, une partition home et une swap) ? (Ou, au contraire, cela risque-t-il de tout foutre en l'air ?) Et puis surtout, qu'en j'en viendrai à installer Grub, je le mets où ? Au milieu du bazar dans sda3 ? Enfin, mon Bios (le nom n'est peut-être plus correct mais cela en a l'apparence) contient une entrée nommée « UEFI Boot » actuellement positionnée sur Enabled. Faut-il la mettre sur Disabled ? Je suis conscient que mes questions témoignent d'une méconnaissance crasse de ce nouveau système qui rendra - n'en doutons pas ;-) - nos machines plus sûres. Tout lien vers une documentation claire, voire mieux un tuto Debian pour l'installation, est clairement bien venu. Je continue à chercher de mon côté. -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe" vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/506c9f5c.1050...@nativobject.net
Re: [HS] comportement curieux de malloc
Le 02/10/2012 15:57, François Boisson a écrit : > Le script ci dessous remplit parfaitement son office pour le passage de > camllight à ocaml dans les cas simple, par contre je n'ai pas vu > d'incompatibilité surtout dans les épreuves des concours (la dernière épreuve > de Centrale proposait même des primitives Camllight et Ocaml). Quel type > d'incompatibilité il y a? C'est exactement pour les choses que tu mets dans ta liste. C'est effectivement facile de passer de Camllight à Ocaml mais, quand tu est censé donner un code Camllight correct, à cause de ces différences minimes, tu ne peux pas te contenter de le tester avec OCaml. [...] > sed -e '1,$s/ prefix \([^ ]*\) / ( \1 ) /g' | \ > sed -e '1,$s/copy_vect/Array.copy/g' | \ > sed -e '1,$s/vect_length/Array.length/g' | \ [...] -- Vincent Danjean GPG key ID 0x9D025E87 vdanj...@debian.org GPG key fingerprint: FC95 08A6 854D DB48 4B9A 8A94 0BF7 7867 9D02 5E87 Unofficial pkgs: http://moais.imag.fr/membres/vincent.danjean/deb.html APT repo: deb http://people.debian.org/~vdanjean/debian unstable main -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe" vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/506c9627.6060...@free.fr
Installation sur partition GPT
Bonjour, Confronté pour la première fois à UEFI et une infâme partition GPT, je ne sais pas comment installer et aurais bien besoin de conseils. Je souhaite installer Debian Wheezy sur un Asus n56v (le choix du portable n'étant pas de mon ressort). Contrainte : ne pas bousiller le Windows 7 installé dessus ni la partition de récupération sous peine de me faire sévèrement enguirlander (et ce n'est bien sûr pas pour mon usage sinon ce windows serait vite effacé). Malheureusement j'ai des comptes à rendre donc je dois être extrêmement prudent. Dans l' « ordinateur » de Windows 7, on voit qu'il y a deux volumes : C: déjà bien rempli par le système Windows et D: pratiquement vide. Nulle trace de la partition de récupération. Habitué à installer Debian, je me dis que ce sera simple, il suffira d'utiliser D: pour Linux. Je lance l'installateur Debian (pas la version graphique) et arrivé au partitionnement je choisis la méthode manuelle. Et là, je constate que je ne sais pas où sont les données. SCSI 1 (0,0,0) (sda) - 500.1 GB ATA ST9500423AS n° 1134.2 MB 1.0 MBEspace libre n° 2 26.8 GBntfs n° 3209.7 MBB fat 32 n° 4200.0 GBntfs n° 5272.9 GBntfs 7.7 kBEspace libre Je passe les détails (google, retour dans Windows, google, doc debian,...) Dans Windows 7, je trouve un « outil de gestion des disques » qui m'indique qu'il y a quatre volumes : - un premier, sans nom, sans système de fichiers, de 25 Go et dont le « statut » est « Sain (Partition de récupération) » - deuxième, sans nom, sans système de fichiers, de 200 Mo, « Sain (Partition du système EFI) - troisième, nommé DATA (D:), ntfs, 254,14 Go, « Sain (Partition principale) » - dernier, nommé OS (C:), ntfs, 186,3 Go, « Sain (Démarrer, Fichier d'échange, Vidage sur incident, Partition principale) Mouais... l'ordre, le nombre et les tailles de partitions ne correspondent pas vraiment. Enfin je suppose que sda2 = la partition de récupération sda4 = windows 7 (C:) qui dans Windows paraît déjà bien occupé sda5 = (D:) qui dans Windows est pratiquement vide. Pensez-vous que ce soit correct ? Ces partitions indiquées par l'installateur Debian sont-elles de vraies partitions ? En d'autres termes, puis-je décider sans risque de consacrer sda5 à Debian (et le diviser pour créer une partition racine, une partition home et une swap) ? (Ou, au contraire, cela risque-t-il de tout foutre en l'air ?) Et puis surtout, qu'en j'en viendrai à installer Grub, je le mets où ? Au milieu du bazar dans sda3 ? Enfin, mon Bios (le nom n'est peut-être plus correct mais cela en a l'apparence) contient une entrée nommée « UEFI Boot » actuellement positionnée sur Enabled. Faut-il la mettre sur Disabled ? Je suis conscient que mes questions témoignent d'une méconnaissance crasse de ce nouveau système qui rendra - n'en doutons pas ;-) - nos machines plus sûres. Tout lien vers une documentation claire, voire mieux un tuto Debian pour l'installation, est clairement bien venu. Je continue à chercher de mon côté. -- Eddy F. Tout content d'avoir acheté pour moi-même un pc nu sans problème plutôt qu'un tel portable commercial infâme. -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe" vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/201210032016.42659.edfnet-...@yahoo.fr
Re: pb installation Wheezy sur latitude E6430s
> 1) sdhci-pci invalid iomem size: you may experience problems J'ai ça depuis des mois sur mon E6420, ça ne m'a jamais posé de pb. > 2) failed to enable MSI-X > 3) plein d'erreurs pour ACPI >input buffer is not empty, aborting transaction >Error: Method parse/execution failed Dans le bios, j'ai desactivé optimus et forcé la carte nvidia. Guy -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe" vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/506c79a4.5050...@teledetection.fr
pb installation Wheezy sur latitude E6430s
Bonjour, Je voudrais installer debian/wheezy sur un portable Dell Latitude E6430s. Ça se passe bien, sauf que... j'ai des erreurs au boot 1) sdhci-pci invalid iomem size: you may experience problems 2) failed to enable MSI-X 3) plein d'erreurs pour ACPI input buffer is not empty, aborting transaction Error: Method parse/execution failed Ensuite les choses se passent plutôt bien sauf que ça chauffe facilement (mais le ventilo change de vitesse) et se freeze au bout d'un certain temps... J'ai testé Xubuntu, et là tout se passe merveilleusement bien... Debian utilise un noyau 3.2.0-3-amd64, ubuntu 3.2.0-31-generic Comment faire pour debugger la chose ?? Merci pour votre aide Thierry -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe" vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/20121003161238.12223959@archimede5
Re: gnome terminal et encodoage par défaut
Le mardi 02 octobre 2012 à 22:54 +0200, steve a écrit : > Et moi aussi en créant un nouvel utilisateur... > > Donc il y a un truc dans mon compte qui fait que ce ne soit pas le > cas. Onze > ans de bricolage, mmmh, ça ne pas être facile à trouver... > > Peut-être que quelqu'un a une idée... ? > > steve ~/.profile ~/.bashrc ~/.Xdefaults ~/.Xresources ... voire gsettings list-recursively |grep terminal -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe" vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/1349257007.6694.2.camel@jisui.aranha
Re: [HS] comportement curieux de malloc
> Si tu as la possibilité de poster le code sur github en indiquant le > problème, il pourra rapidement faire de petits... Bon, j'ai déposer les sources à ce jour ici avec une description du problème. https://github.com/FBoisson/Camllight François Boisson -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe" vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/20121003114411.b72839ea73a2193916d14...@maison.homelinux.net
Re: virtualbox fait freezer wheezy
Hello, La solution est de ne plus utiliser virtualbox... https://lkml.org/lkml/2011/10/6/317 Bruno -- RIDICULE M : Il y a quelques années, c'est porter un walkman qui donnait l'air con... Aujourd'hui, c'est d'avoir un portable... P : Et puis le super con, c'est celui qui porte un walkman en même temps qu'il téléphone... signature.asc Description: This is a digitally signed message part
Re: [HS] comportement curieux de malloc
On 02/10/2012 22:50, François Boisson wrote: > Le Tue, 2 Oct 2012 14:23:27 + (UTC) > Tanguy Ortolo a écrit: > > >> Si la nouvelle licence est libre, et si vous êtes prêt à faire un paquet >> propre, vous pourriez envisager de mettre réellement Camllight dans >> Debian. Il serait ainsi automatiquement disponible pour toutes les >> architectures prises en charge par Debian et Ubuntu. >> > Il est impossible de garantir un paquet propre avec ce bug dans la mesure où > le fonctionnement dépend du comportement de malloc. Il faut d'abord le > résoudre. Je vais tacher de le faire mais ça risque de prendre du temps vu que > je n'en ai pas beaucoup... > > François Boisson > Si tu as la possibilité de poster le code sur github en indiquant le problème, il pourra rapidement faire de petits... - Fabien -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe" vers debian-user-french-requ...@lists.debian.org En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org Archive: http://lists.debian.org/506be526.8030...@free.fr