Re: [HS] comportement curieux de malloc

2012-10-03 Par sujet Fabien R
On 02/10/2012 22:50, François Boisson wrote: Le Tue, 2 Oct 2012 14:23:27 + (UTC) Tanguy Ortolo tanguy+deb...@ortolo.eu 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

Re: virtualbox fait freezer wheezy

2012-10-03 Par sujet Bruno Muller
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

Re: [HS] comportement curieux de malloc

2012-10-03 Par sujet 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... 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

Re: gnome terminal et encodoage par défaut

2012-10-03 Par sujet Jérôme
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

pb installation Wheezy sur latitude E6430s

2012-10-03 Par sujet Thierry Despeyroux
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

Re: pb installation Wheezy sur latitude E6430s

2012-10-03 Par sujet Guy Roussin
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,

Installation sur partition GPT

2012-10-03 Par sujet Eddy F.
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

Re: [HS] comportement curieux de malloc

2012-10-03 Par sujet Vincent Danjean
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

Re: Installation sur partition GPT

2012-10-03 Par sujet C. Mourad Jaber
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

Re: Installation sur partition GPT

2012-10-03 Par sujet Sylvain L. Sauvage
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

Re: [HS] comportement curieux de malloc

2012-10-03 Par sujet Vincent Danjean
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

Re: Installation sur partition GPT

2012-10-03 Par sujet Eddy F.
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

ondemand governor failed

2012-10-03 Par sujet jacques
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

Re: ondemand governor failed

2012-10-03 Par sujet Gaëtan PERRIER
Le Thu, 04 Oct 2012 00:27:34 +0200 jacques jacq...@lavignotte.org 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. --

Re: Installation sur partition GPT

2012-10-03 Par sujet Eddy F.
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

Re: Installation sur partition GPT

2012-10-03 Par sujet Anthony Bourguignon
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