Je synchronise mon $HOME entre plusieurs machines, ce qui, outre le confort apporté par la possibilité de changer de machine l'esprit léger, m'indique lorsqu'il y a une curiosité de fonctionnement. Parmi celles-là, il y a le fait que sur mon portables, les fontes du menu de firefox sont plus grosses qu'ailleurs. J'ai recherché selon plusieurs pistes, et le problème et sa solution ne sont pas si faciles à trouver. Donc j'indique ici, ça pourra servir à quelqu'un:

- Non, faire des modifs dans userChrome.css ne sert à rien. Là où les fontes étaient correctes, elles deviennent plus petites.

- Changer Edit->Preferences->General->Fonts&Colors->Display resolution. Passer à 96 dpi. Faire le test. Ça marche! Maintenant, pourquoi ça marche ? Tout simplement parce que le serveur X de mon portable utilise une résolution non standard (1400x1050) que j'ai dû rajouter dans XF86Config-4. Seulement, comme il ne sait pas y associer une taille d'écran, il ne peut pas en déduire la mesure d'un pixel, et donc tout ce qui est dépend du choix d'affichage pour les fontes peut poser problème. Donc c'est pour ça que passer de "System Setting" à "96dpi" fonctionne...

Bon, on verra bien si cette résolution est supportée par Xorg et pourra m'éviter ce genre de bricolage pas trivial à trouver.

Posted Fri Jul 1 09:50:50 2005

Un papier présentant Brillant a été accepté à SEFM05, et j'en suis le premier auteur, donc je vais aller le présenter. Qu'est-ce que vous en avez à fiche, et quel rapport avec le sujet, me demandez-vous ? Pour la première question, c'est vous que ça regarde.

En revanche, il se trouve que j'ai d'anciennes notions d'allemand (j'en ai fait pendant 7 ans, quand même). Et apprendre le roumain par la méthode Assimil s'est avéré plus facile que je ne le craignais (ça vient peut-être aussi de la langue, assez proche du français, en fait). Donc je crois que j'ai envie de prendre une méthode Assimil pour l'allemand, histoire de réviser. Et puis une méthode Assimil polonais, ça fera plaisir à ma grand-mère. Si j'apprends déjà tout ça, ça me fera 5 langues parlées (français, anglais, roumain, allemand, polonais) à peu près couramment. Ça commence à faire beaucoup, mais j'aime bien ça :-) ! Et puis il paraît que plus on apprend de langues, plus c'est facile d'en apprendre, ça me fera un bon point de départ pour les suivantes, alors :-D.

Argh, si maintenant je me mets à mettre des smileys dans les articles de mon blog, où va-t-on ?

Posted Mon Jul 4 18:35:54 2005

Histoire de grouper un peu, je mets tout dans le même article. Vous y trouverez mon vote sur la constitution et pourquoi, ma réaction quant à la décision du CIO, un truc marrant de la journée, la décision du parlement européen et, pour le prix dérisoire d'une connexion à Internet, un changement sur ce site ! Voir lien (normalement) ci-dessous.

J'ai voté non à la constitution européenne. Une politique économique n'a pas à y avoir sa place, j'aurais préféré qu'elle soit ratifiée par l'institution européenne post-constitution. Le plus simple serait de supprimer cette partie, on revote sur ce sur quoi tout le monde est d'accord, c'est plus simple. Et puis donner plus de pouvoir au parlement européen. Et puis aussi avoir un contrôle sur la banque centrale européenne, ça serait bien. Si la politique de l'Union n'est pas suivie d'effet en terme de sous, c'est pas génial. Pour comparaison, imaginez que le premier ministre soit de droite et le ministre du budget de gauche, ou l'inverse...

Londres a été choisie. À la limite, je m'en fous un peu, mais si ce coup de fouet-là ne fait pas réagir la France, je ne sais pas ce qui le fera. Nicolas S. président, peut-être ? Brrrrr...

Le parlement européen a rejeté en masse les brevets logiciels. J'aurais préféré le texte amendé, qui décidait une bonne fois pour toutes de la non-brevetabilité des oeuvres pures de l'esprit que sont les logiciels, mais c'est mieux qu'une acceptation qui aurait rendu illégaux, ou peu s'en faut, pas mal de travaux de bénévoles.

Cette après-midi, c'était karting avec les collègues du labo. Mon équipe (salut Fred !) était avant-dernière, mais je me suis bien amusé. Surtout en n'ayant pas le permis, héhéhé.

Enfin, j'ai activé les commentaires, c'est pour le moment limité à 10. C'est déjà peut-être trop pour le trafic de ce site. Cela étant, j'espère que j'éviterai les blogs-spammeurs. Voilà pour les nouvelles et opinions, vous pouvez reprendre une activité normale.

Posted Wed Jul 6 21:33:29 2005

Dernières mises à jour du site : rajout d'un paquet yafray dans la section Debian, ouverture (timide) de la page FMBL, rajout de sujets de TD, TP et examens dans la section About, et mise en première page d'une photo de chaton pour combler le vide un peu inesthétique de la page principale.

Merci de votre absence d'attention.

Posted Fri Jul 8 15:41:36 2005
Bon, qu'il se dénonce, celui qu'a fait un wget sur mon site.

Posted Fri Jul 8 19:22:14 2005

Ce week-end je suis donc allé acheter des méthodes assimil : une en allemand, pour réviser, et une en polonais, pour faire plaisir à ma grand-mère. Manque de pot, la méthode pour le polonais est avec cassettes, et je n'ai pas de lecteur de cassettes. Il va donc falloir que j'y retourne pour échanger. Ça m'apprendra à me précipiter sans regarder attentivement.

C'est pas trop grave, de toute manière, il faudra que je retourne à Lille pour acheter d'autres trucs. Mais quand même, j'aurais bien voulu écouter du polonais intelligible ce week-end.

Posted Mon Jul 11 11:29:26 2005

Il n'y a pas que Firefox qui choisit la taille de ses fontes en fonction du système, il y a aussi zinf. En fait, dans l'absolu, tout ce qui utilise le système de fontes de gtk2 est susceptible de montrer le problème.

Mon écran fait 304x228mm pour 1400x1050 pixels de résolution, ce qui conduit à 116x116dpi, ce qui est déduit par moi à la main, et par le serveur X. Donc le problème se situe peut-être au niveau de fontconfig, qui oublierait en activant certains algorithmes de rendu (sub-pixel rendering, pour les LCD), de conserver la taille des fontes ? Quoiqu'il en soit, j'ai forcé une fausse taille d'écran dans XF86Config-4, en mettant "DisplaySize 370 277" dans la section "Monitor", ce qui est censé résulter en une résolution de 96x96dpi. Résultat des courses, les fontes sont à la bonne taille. Si ça peut aider quelqu'un d'autre que moi, c'est tant mieux.

Posted Tue Jul 12 13:42:46 2005

Il y a peut-être pire que l'idée de l'infini : l'infini perceptible. Ça marche aussi pour le néant, d'ailleurs. Certaines expériences permettent, à défaut de démontrer ce point de vue, de le comprendre :

  • Être allongé par une nuit d'été particulièrement claire, loin de toute lumière parasite, à contempler le ciel. On se surprend très vite à ne plus se sentir capable de dénombrer les étoiles, et la perception l'infini pointe son nez dans l'esprit de l'observateur
  • Se trouver dans un endroit d'ordinaire très peuplé, mais sans qu'il n'y ait rien ni personne qui ne bouge ou fasse un bruit. Comme par exemple cette scène assez connue de "l'associé du diable" où Keanu Reeves se retrouve dans un New-York où il n'y a plus personne. Imaginez-vous à sa place quelques secondes
  • Être sur une plaine enneigée en hiver, sans rien voir qui bouge à l'horizon. Le silence absolu, le sol blanc et le ciel presque de la même couleur : on est seul avec soi-même. Il y a des gens qui ont horreur de ça.

Le fait que les gens se regroupent dans les villes comme ils le font de nos jours, tend à leur faire oublier cela. Ce n'est pas une explication, mais ces expériences pourvoyeuses d'humilité sont peut-être une de ces choses qui manquent à la personnalité de l'homme moderne.

Posted Mon Jul 18 14:43:19 2005
En vrac :
  • Je ne suis pas très bizarre, comme je le croyais. Je suis trop bizarre. Nuance.
  • Dans le même ordre d'idées, on m'a dit que j'étais empathique. C'est bien la première fois qu'on utilise cet adjectif avec moi, et je trouve ça plutôt adéquat, en même temps.
  • Les bâtiments sont de plus en plus déserts. Il ne va plus rester grand-monde vendredi. C'est peut-être ce qui m'a inspiré mon précédent post.
  • X.Org est entré dans unstable, j'ai testé, ça fonctionne bien, sauf libglu sur lequel certains paquets n'ont pas de dépendances. Donc quand on veut l'installer, ça enlève quelques paquets que j'aimerais bien garder. Bah, il suffit d'attendre que la situation soit réglée par les mainteneurs Debian. Au pire, il n'y a qu'à attendre que ça entre dans Etch (la testing actuelle). Ils ont pas l'air bêtes en ce moment d'ailleurs, ceux qui pointent sur unstable.
  • J'ai découvert Dream Theater, par ce biais. Pas mal du tout.

Posted Wed Jul 20 16:21:20 2005
Which Fantasy/SciFi Character Are You?


Posted Wed Jul 20 22:04:41 2005

Ceci n'est pas un pamphlet contre EDF puisqu'ils n'ont rien à voir dans l'histoire. C'est juste que l'autre nuit les plombs ont sauté dans la maison. Après investigation (par mon père, il connaît mieux la répartition des fusibles que moi), il semblerait qu'il y ait eu une trop grosse consommation sur un fusible. Détail intéressant, les appareils très consommateurs, bien que sur le même fusible, sont pour ainsi dire situés chacun à une extrémité de la maison.
À mon avis, les électriciens d'il y a 30-40 ans et la modularité, ça faisait deux :-/. Il paraît que maintenant c'est mieux, mais je ne suis pas encore assez riche pour faire construire :-D.

Posted Tue Jul 26 15:45:53 2005