Bodor Denis

Connaissez-vous les Vimball ? Non, il ne s'agit pas de délicieuses sucreries légères et croustillantes recouvertes de chocolat craquant mais de fichiers destinés à automatiser l'installation d'extensions pour Vim (ceci dit, c'est tout aussi bon).

De nos jours, la gestion des polices de caractères tient généralement en un seul mot : TrueType (ou son remplaçant/extension OpenType). Dans un autre temps, la gestion de polices était un véritable problème et chaque système, ou presque, utilisait son propre format. Plus exactement, le monde se divisait en deux hémisphères. La première était celle des polices au format Type1 du standard PostScript qui pouvait se décliner en plusieurs formats de fichier.

La gestion des polices ou fontes de caractères est une problématique délicate avec presque tous les systèmes d'exploitation. Pour preuve, des systèmes bien plus populaires que GNU/Linux dans le monde du desktop sont, par défaut, si limités sur ce point, qu'il leur est nécessaire de faire appel à des logiciels tiers (comme ATM par exemple).

Soit, l'objectif d'un terminal n'est pas de provoquer une crise d'épilepsie chez l'utilisateur ou une expérience extra corporelle par une profusion de couleurs et de clignotement. Cependant, un peu de couleur, comme c'est le cas pour les mécanismes de colorisation syntaxique utilisés par les bons éditeurs de texte/code (comme Vim), apporte une lisibilité supplémentaire.

J'aime bien jouer avec le noyau. Oh, il ne s'agit généralement pas de gros développements mais, le plus souvent, de petites choses permettant d'accéder à des informations ou de piloter certains matériels. Rien qui soit digne d'intégrer un noyau officiel.

Mutt est mon client mail (MUA) préféré. D'ailleurs, en dehors d'une interface webmail de temps à autre, c'est le seul que je supporte. Ceci vient très certainement du fait que je suis quelqu'un qui aime la simplicité et la concision.

Soyons clair de suite, il ne s'agit pas ici du support inotify du noyau Linux ou même du démon FAM (File Alteration Monitor) initialement développé par SGI. Non, il s'agit de simplement utiliser le shell et quelques commandes simples mais sympathiques.

C'est idiot, mais je ne me rappelle jamais comment on fait.

Les codecs sous Windows comme sous GNU/Linux c'est un peu comme une collection de timbres ou de Pokemon : il les faut tous, juste au cas où. Mais parfois, on aimerait bien pouvoir utiliser l'un d'entre eux, surtout s'il est courant, juste pour avoir le plaisir d'encoder, avec son outil préféré, un simple morceau de musique (obtenu légalement, bien entendu).