Sparse repasse à l'attaque

Posté par  (site web personnel) . Modéré par Nÿco.
31
26
oct.
2009
Technologie
Sparse est, comme Git et Linux, un bébé de Linus Torvalds qui a commencé à l'écrire en 2003.
Ce logiciel est un analyseur statique de code et il a pour but de détecter les bugs éventuels du noyau Linux, notamment les erreurs portant sur les types des variables.
Linus avait transmis le contrôle de Sparse à Josh Triplett en 2006 mais, après une grosse version 0.4 en septembre 2007 et une petite version de correction 0.4.1 en novembre 2007, le projet s'était gentiment endormi. Plus aucune version pendant presque deux ans... jusqu'au 16 octobre dernier !

Forum Linux.noyau Debian sur un XServe Two Quad-core avec un Xeon

Posté par  (site web personnel) .
Étiquettes :
0
25
oct.
2009
Bonjour,

Je voudrais installer une Debian sur un Apple Xserv Two quad-core avec un Xeon. Selon mes dernières informations, le cdrom d'installation ne démarre même pas car l'EFI sur un 64 bits n'est pas supporté par la version ia64 de Debian.

Étant basique au niveau du noyau, quelqu'un sait-il la marche à suivre pour quand même installer Debian dessus ?

Merci !

Agrégation de Mathématiques et logiciels libres

Posté par  . Modéré par patrick_g.
16
23
oct.
2009
Éducation
Comme les années précédentes, le concours de l'Agrégation de Mathématiques comportera une épreuve sur machine (épreuve de modélisation) avec des machines tournant sous Linux. Pour l'année 2010, ce sera une Debian Lenny avec fluxbox comme environnement graphique. Les logiciels proposés sont pour une grande partie des logiciels libres (cf. Matériels et logiciels disponibles), essentiellement Scilab, Octave (via qtoctave), R, Maxima (via wxmaxima), Giac/Xcas, PARI/GP, Axiom, GAP ainsi que les compilateurs Java, C, Ocaml et Camllight.

La nouveauté cette année est la modification du concours de l'agrégation interne de Mathématiques avec l'usage d'une machine à l'un des deux oraux de ce concours. Cette épreuve devrait s'appuyer sur une version dédiée de ClefAgreg avec un environnement fondé sur Xfce. Cette clef est disponible en chargement libre sur le site Clef Agreg USB.

Des nouvelles du noyau Debian

Posté par  (site web personnel) . Modéré par Amaury.
Étiquettes :
56
21
oct.
2009
Debian
Durant la dernière conférence Linux Plumbers s'étant déroulée à Portland les 23, 24 et 25 septembre, les membres de la kernel team du projet Debian ont tenu une réunion spécifique afin de traiter les points en suspens et de discuter des choix à faire pour l'avenir.

Dans l'esprit de transparence de Debian un long compte-rendu de cette réunion a été publié par Vincent Sanders afin de permettre aux utilisateurs de se faire une idée de la direction que va prendre le noyau Linux dans le projet.

Journal Postes de travail en libre service: nettop ou multi-terminal ?

Posté par  .
Étiquettes :
6
20
oct.
2009
Cher journal,

Je suis actuellement à la recherche de solutions pour mettre à disposition des postes en libre service à des étudiants.
Ces postes doivent permettent un accès à Internet et aux outils courants de bureautique.

Voici un petit état des lieux de mes récentes recherches.

J'envisage en fait deux solutions. Une solution à base de PC de type "nettop" et une deuxième solution à base d'un seule UC configurée en "multi-head".
La deuxième solution étant, de mon point de (…)

Journal Eeebuntu migre chez Debian

Posté par  (site web personnel) .
Étiquettes :
10
20
oct.
2009
La distribution pour les netbooks Eeebuntu, basé comme son nom l'indique sur Ubuntu, ne le sera plus d'ici la sortie d'Eeebuntu 4.0, mais à la place, basé sur Debian unstable.
La Eeebuntu devrait être disponible d'ici fin décembre 2009.

Comme raisons de ce choix, plus de contrôle dans les releases, plus de flexibilité dans les applications et mise à jour et enfin, plus de stabilité. Un dépôt approprié se met en place pour la EB4.

Un autre tournant, sera l'abandons (…)

Forum Linux.debian/ubuntu netfilter et vmware

Posté par  .
Étiquettes :
1
19
oct.
2009
Bonjour,

je viens de me rendre compte d'une chose qui m'étonne.
J'ai deux machines Debian Lenny avec vmware. Les configurations sont sensées être identiques. Sur l'une des machines les paquets destinés aux machines virtuelles vmware sont vus par netfilter, et pas sur l'autre.

Une simple ligne comme ça fonctionne sur l'un et pas sur l'autre:

iptables -A FORWARD -d 192.168.1.50 -j DROP

Ca bloque tout pour la machine virtuelle 192.168.1.50, mais ça ne donne rien sur l'autre machine Debian.

Même (…)

Forum Linux.debian/ubuntu upgrader debian a la derniere version majeure

Posté par  .
Étiquettes :
0
19
oct.
2009
Bonjour,

J'utilise debian depuis 3 ans sur un serveur (v4.0) et maintenant j'aimerais bien mettre a jour a la version 5.0 (la derniere stable si je ne me trompe pas). Comment faire ?

Ma config de serveur est tres standard : Seulement quelques fichiers de config ssh, rsync et apache ont etes modifies, et pas en profondeur. Par contre la quantite de donnees presentes est suffisament consequente pour que rapatrier les donnees a la maison et faire une reinstall complete (…)

Forum général.cherche-matériel Thin client debian compatible

Posté par  (site web personnel) .
Étiquettes :
0
16
oct.
2009
Bonjour,

Je cherche un thin client ou je pourrais installer Debian. L'engin doit juste avoir un port gigabit (le reste je m'en fou) et être capable de l'utiliser (puissance cpu suffisante pour faire tourner iperf avec un gigabit de trafic par exemple). Si possible le thin client devrait couter moins de 300€, avez-vous des recommandations ?

Merci,

Journal Test de la Mandriva Cooker, future 2010.0

Posté par  (site web personnel) .
Étiquettes :
6
12
oct.
2009
Bonjour,

D'Humeur à faire des tests, et bénéficiant depuis peu d'une connexion 30Mbps limitée à 30Gio/mois, je me suis mis en tête de télécharger la dernière bêta de Mandriva 2010.0 et de l'installer, histoire de tester et de découvrir Mandriva.

En effet, comme dit dans un de mes précédents journaux, j'ai trouvé la version 2009.1 de Mandriva exceptionnellement supérieure aux autres distributions, de mon point du vue.

Je télécharge, écrit tout ça sur ma clef USB, et démarre dessus. (…)

Forum Linux.debian/ubuntu Son qui augmente

Posté par  .
Étiquettes :
1
10
oct.
2009
Bonjour,

J'ai un petit soucis depuis quelque temps, j'ai le son qui augmente sans raison. Je peux le baisser au plus bas mais à tout moment il peut basculer à son niveau maximal. Il suffit alors de jouer de la molette sur l'applet volume (GNOME) afin que celui-ci reprenne le volume voulu jusqu'à ce qu'il n'augmente encore.

Il n'est pas sans dire que cela est très désagréable surtout avec des écouteurs de se faire surprendre avec un fort volume après (…)

Journal Sortie de Konversation 1.2

Posté par  .
Étiquettes :
11
9
oct.
2009
Konversation, un client IRC pour KDE, vient de sortir sa première version stable pour KDE4.

L'information vient d'être publiée sur le site officiel :
http://konversation.kde.org/

Vous trouverez la liste des changements depuis la version pour KDE3 sur la page d'acceuil ainsi que sur le SVN (affichage plus condensé) :
svn://anonsvn.kde.org/home/kde/trunk/extragear/network/konversation/ChangeLog


Les paquets correspondant devraient être disponibles dès ce soir (ça sera le cas pour Debian Sid).


Pour résumer, par rapport à la version pour KDE3 (v1.1), cette version apporte son (…)

Journal Passage du noyau Debian 2.6.30-2 au noyau Vanilla 2.6.31-2

Posté par  (site web personnel) .
Étiquettes :
20
8
oct.
2009
Bonjour,

Hier, j'ai eu envie de compiler et de tester le noyau Linux en version 2.6.31. Je regarde donc dans les dépôts de ma distribution, et découvre qu'il n'y est pas.

Tant pis, je me dis donc que je vais le compiler moi-même. Je récupère les sources, configure (en laissant la majorité des choix par défaut, ce qui compile beaucoup, mais ce n'est pas grave), et compile.

Une fois le noyau installé, je redémarre dessus. C'est d'abord un échec (pas (…)

Forum Linux.debian/ubuntu probleme pour installer un RHEL5 sur un xen

Posté par  .
Étiquettes :
0
8
oct.
2009
Bonjour
J'ai installé sur un Débian un Xen il est configuré et fonctionne très bien
j'ai différente vm qui sont crées avec pour certain une distri lenny et d'autre etch
Mai j'ai un problème avec redhat
J'aimerai créer une autre vm qui est une RHEL5
j'ai télécharger le dvd sur redhat entreprise
j'ai lancé la commande

xen-create-image --hostname redhat --ip 172.23.150.10

juste pour récupérer le fichier redhat.cfg
J'ai suprimer mon volume logique redhat-disk et redhat-swap dans mon group volume car (…)

Forum général.cherche-logiciel Équivalent à LooperNG

Posté par  (site web personnel) .
Étiquettes :
0
8
oct.
2009
Bonjour,

Actuellement nous utilisons le logiciel LooperNG pour une partie du monitoring de notre réseau.
Lors d'une phase de migration, j'aimerai remplacer ce logiciel afin d'intégrer ce monitoring au Nagios déjà existant.

LooperNG est utilisé uniquement pour parser les events syslog.
Un de mes soucis avec LooperNG est qu'il n'est pas dispo dans Debian et que je préfère éviter d'installer des softs non intégré. Alors je cherche soit un remplaçant à LooperNG disponible dans Debian, soit un plugin Nagios pour (…)