Zakath a écrit 741 commentaires

Enfin une appli qui fonctionne simplement derrière un pare-feu !
Merci beaucoup pour cet excellent travail.

Il serait donc peut être intéressant qu'un jour, une équipe, comme celle de Xavier Leroy à l'INRIA s'amuse à prouver quelques morceaux du compilateur.
Ce qui a été fait pour un compîlateur mini C.

Et la marmotte qui met le chocolat dans le papier d'alu, tu la prouves aussi en Coq ?
Sérieusement, on est très très très très loin de pouvoir prouver du code C un tant soit peu non trivial, alors des bouts de gcc...

Ah merdre, RTFM est mort ?

C'est enaiffé bien dommage, j'aimais beaucoup aussi.

Tu as deja vecu dans une dictature ? Je peux t'assurer que c'est bien plus terrible que ce que tu enonces.

Et alors ? Est-ce qu'il a dit le contraire ?
Ce n'est pas parce que c'est pire ailleurs qu'il ne faut pas réagir ici. Ou alors est-ce que, suivant ton raisonnement, il faut attendre d'être dans une république bananière avec torture banalisée pour commencer à se bouger ?

Environ une fois toutes les deux semaines, ici. Comme je teste tous les derniers noyaux -mm, il y a inévitablement quelques oops par ci par là (surtout avec ipw2200, en fait). Sinon je le trouve remarquablement stable pour un noyau de dev.

En ce qui concerne les présentations libres en clôture de JDLL, elles sont juste en retard ou bien ne seront jamais dispo ?

Merci.

Bon ben je me réponds à moi-même. Cachée au fin fond du site, j'ai fini par trouver http://www.minix3.org/doc/AppendixB.html qui semble répondre à mes attentes...

Le site est parfaitement accessible pour moi, sans latence ni rien, mais je n'ai vraiment pas trouvé le code malgré d'intensives (sinon exhaustives) recherches...

J'ai eu beau chercher sur les deux sites de Minix, pas moyen de mettre la main sur les sources (qui doivent être disponibles quelque part, puisque licence BSD).
A moins qu'elles ne soient dans les iso, ce qui serait benêt parce que je ne suis pas root sur cette machine, donc pas de loopback possible (il y a une autre manière d'extraire les fichiers ?).

Quelqu'un aurait une URL vers un cvs ou une tarball quelconque ?

Je pense que ça veut dire qu'il ne compte pas les commentaires et les lignes vides. Donc 4000 lignes de vrai code.
Et sinon, il me semble bien que c'est du C.

Tom Lord's Arch (qui s'appelle maintenant bazaar, si je ne m'abuse).

Voir une news d'il y a quelques semaines qui en parlait justement (flemme de la rechercher).

Oui, un fond d'écran avec "vive le logiciel libre" me plairait beaucoup plus. Ils font quand même leur beurre dessus (je ne le leur reproche pas, hein).
Juste, ces machins avec logos impossibles à enlever sauf si on paye pour être membre VIP me rappelle fortement les basses méthodes commerciales de plein de Freewares, durée d'essai limitée blabla, passez à la version gold blabla.

Parce que j'aime à croire que le logiciel libre sait utiliser d'autres méthodes pour faire sa promotion que ce genre de choses, parce que je crois en le libre, peut-être (certainement aussi parce que je trouve que Mandriva est une distro toute pourrie).

Non, bien sûr, c'est pas très important, mais je trouve que c'est assez révélateur d'un état d'esprit que je n'apprécie guère pour une distro censée être libre.

Je suis le seul à être choqué ? C'est pas trop dans l'esprit du libre... Même si Mandriva, bon.

(Allez-y, moinssez, c'est fait pour).

Arréter d'être critiques à tout bout de champ sur ce site!!!

Outre le fait que "Arrêtez" me paraîtrait plus français, il me semble que le sens critique est bien au contraire une qualité de plus en plus rare. C'est sûr que tu ne trouveras aucune critique de la proposition de loi dans les journaux télévisés...

Si le fait que le gouvernement cherche à faire passer une loi qui porte atteinte aux libertés fondamentales (libre accès à la culture, par exemple), et en plus en court-circuitant le processus normal et toute forme de débat, libre à toi... Pour ma part (et j'espère ne pas être le seul), je m'en inquiète !

Pour les gentooistes, un ebuild tout frais : http://zakathfr.free.fr/gentoo/biloba-0.2.ebuild(...)

Je l'ai peut-être ratée, mais il ne me semble pas avoir vu de version anglaise. C'est un peu dommage de se limiter au seul public français alors qu'il n'y a pas non plus énormément de choses à traduire...

Il y a bien entendu des exceptions dans tous les cas, mais il n'empêche que les distros ont des cibles différentes, et c'est une des forces du logiciel libre.

Les distros comme Linspire, Xandros et dans une moindre mesure Mandriva, Ubuntu et SuSe, sont plutôt orientées cliquouille et outils de configuration automatique tandis que Debian, Gentoo, Slackware et consorts veulent donner un maximum de pouvoir à l'utilisateur, quitte à devoir utiliser un éditeur de texte pour configurer tout ça et demander (horreur !) aux gens de lire des pages man.

Halte au politiquement correct sur linuxfr, scrogntoudjou !

D'où l'intérêt des variables USE dans gentoo.

Ton package te proposera une USE "evolution" que tu verras au moment d'emerger (si tu as le bon sens de toujours faire des emerge -av) et qui te permettra 1) d'être conscient de l'existence d'un support d'evolution 2) de l'installer ssi tu le veux.

Dans la même catégorie, j'aime beaucoup llgal (https://gna.org/projects/llgal/)(...) qui est un fork de igal dont le développement s'était arrêté.

Sauf que tu cherches un repository, une fois (genre à l'install), sauf pour des paquets super spécifiques (par exemple mplayer pour des raisons de codecs mais je ne sais plus si c'est toujours le cas).

Un mirroir Debian a environ l'univers dessus (y a même llgal et ltag, c'est dire).

Il semblerait que je ne sois pas le seul ignoble troll ici présent : http://lkml.org/lkml/2005/9/14/119/index.html(...)

Les attaques ne sont pas ad hominem (même si Linus Torvalds est effectivement un con), simplement git et Torvalds sont indissociables puisque le second est le créateur et indéfectible supporter du premier, et que les choses ont l'air bien parties pour qu'il en fasse une question d'amour-propre, comme avec BitKeeper.

Et d'ailleurs, je ne vois pas non plus en quoi le fait de dire que monotone et mercurial sont meilleurs que git fait de mon post un troll.

Je suis renseigné. C'est un truc lourd qui a été écrit très rapidement pour combler un besoin ponctuel sans réel design derrière.
Et toutes les modifications et adjonctions qu'on lui fait maintenant sont de plus en plus difficiles parce qu'elles n'ont pas été prévues dès le départ.
Il n'y aurait pas sieur Torvalds qui pèse de tout son poids (fort subséquent par ailleurs), personne ne l'utiliserait.

Franchement, arrêtez d'utiliser git et passez à des vrais scm conçus par des gens qui savent ce qu'ils font, comme mercurial ou monotone.

Parce que git est juste un gros hack écrit en vitesse par Linus Torvalds qui n'est pas spécialement un pro de la conception de scm.

Mais peut être que les missiles Silver® ne tuent pas les gens, mais s'arrêtent devant eux et leur expliquent calmement le point de vue du lanceur, entament des négociations et oeuvrent pour établir une paix durable entre les peuples?

Et encore, ce ne sont pas des missiles stratégiques pour frappes chirurgicales. Ceux-là s'arrêtent pour demander au passant le chemin vers l'usine d'armement la plus proche.