Ça fait maintenant plus d'un mois que j'utilise le multi-tty dans Emacs et depuis, je n'arrête pas d'évangéliser à son sujet.

Si je devais donner une pseudo-définition, ca serait : le multi-tty permet de partager des buffers entre plusieurs instances d'emacsclient. Mais donnons plutôt un cas d'utilisation : chez vous, vous travaillez sur un fichier et vous partez au travail sans fermer votre Emacs mais vous avez vraiment envie d'y toucher, vos seules solutions sont :

• Tuer emacs en espérant que vous n'aviez pas de changement non sauvegardés (ou alors se taper un diff avec les fichiers d'autosave)

• Éditer le fichier comme une brute en forçant Emacs à piquer le fichier.

Dans tous les cas, c'est un plan lose. Alors qu'avec multi-tty, vous n'avez qu'à lancer votre emacsclient et changer de buffer pour récupérer le fichier oublié. Vous pouvez donc partager un buffer entre plusieurs emacsclients (chacun pouvant être en mode terminal ou X11), ce qui laisse la possibilité de faire une sorte de travail collaboratif sommaire si besoin.

Auparavant, cette fonctionnalité était un patch non officiel. Mais elle a été intégrée il y a quelques mois dans la version CVS d'Emacs, comme l'option --daemon d'Emacs qui permet de le faire tourner en mode serveur.

L'essayer, c'est l'adopter, en plus sous Debian, il suffit d'installer les paquets Debian de Romain Francoise :

deb http://emacs.orebokech.com sid main

Faisons une constation assez simple : si votre lecteur portable (tournant sous Rockbox bien évidemment) a un disque de grande capacité, vous l'avez chargé une fois et vous tournez avec la même musique depuis maintenant 4 mois car vous avez la flemme de faire le DJ.

On va donc emprunter une fonctionnalité qui parait-il se trouve sur Itunes : remplir son lecteur avec des fichiers complétement aléatoires.

Ce qui donne le script (zsh) suivant :

#! /bin/zsh

setopt extendedglob
MUZBUS="\/media\/muzbus"
MUSIC="/music"

muzfiles=($MUSIC/**/*mp3(.))
fillme=$(df "${(Q)MUZBUS}" | awk -F" " "/${MUZBUS}/ { print \$4*1024}")

zmodload -F zsh/stat b:zstat
i=0

while [ "$fillme" -gt "0" ]; do
    rndfile="$muzfiles[(($RANDOM % $#muzfiles))]"
    size=$(zstat +s "$rndfile")
    fillme=$((fillme - size))
    print -l -- "$i -- $rndfile"
    cp -- "$rndfile" "${(Q)MUZBUS}/music/"
    ((i++))
done

Attention ! Ne lançez pas ce script sous Debian, ils ont quelques problèmes d'aléa

Mais pourquoi je ne l'ai pas fait avant ? C'est la question que je me pose depuis que j'ai redémarré mon Sandisk Sansa e280 après avoir mis un firmware Rockbox à la place du truc officiel qui était très... "girly" pour rester poli.

Désormais l'interface est réactive, tout est configurable (par exemple, pourquoi est-ce que l'ancien tenait tant à garder la roulette allumée ?), y a plein de jeux et d'applications (par exemple un métronome ! Inutile donc indispensable non ?) et je n'ai plus de bugs. Le plus difficile en fait, c'est d'oublier ses réflexes, oublier le fait que l'interface va réagir en 3 ms au lieu de 30 et donc ne pas anticiper ce qu'on compte faire !

En plus, l'installation est triviale en suivant le manuel Sansa e200 ! Si votre lecteur est supporté, sautez le pas, ca vaut le coup ! Ok, je dis ça mais j'ai pas encore vérifié la durée de la batterie de 15h30 annoncée (d'après les spécifications commerciales de SanDisk, ca devrait tenir ~20h), mais il semblent que les développeurs tentent de l'optimiser encore plus.

Si vous voulez plus de détails, allez voir son status sur le Wiki et si vous cherchez un lecteur MP3, faîtes un tour sur le guide d'achat listant comment les modèles sont supportés.

De temps à autre, j'en ai ras le bol[1] de la police que j'utilise quotidiennement, ca me prends comme ça, faut dire qu'utiliser la même police pour 70% de son desktop depuis quatre ans, ca peut lasser.

Alors je me mets à essayer toutes les polices disponibles sur mon système et plus encore, mes critères sont pourtant basiques :

• Lisible en petit caractère (sur du 1600x1200) ;
• Monospace bien sûr ;
• Avec tous les caractères iso-8859-1/-9 (je me mets progressivement à UTF-8 mais doucement, en fait surtout parce qu'on a plus trop le choix avec une nouvelle installation Debian, arrrrg
• Libre ;
• Tous les caractères doivent être lisibles ! Je veux que mon dollar ressemble au truc des billets américain, mon "Et commercial" au logo de France Telecom, etc.

Donc j'ai essayé quelques polices "externes" les plus réputées telles ProFont, JMK, etc. Et aucune n'a vérifié tous mes critères, en majeure partie car la ponctuation était horrible (regardez le pourcentage par exemple) et qu'il manquait pas mal de caractère international.

Tout ça pour rentrer bredouille, je suis finalement tellement bien avec mes polices par défaut : 6x12 pour programmer, fixed pour tous mes xterms^Wurxvtc.

[1] Comment ça s'écrit ? Même Google Fight n'est pas capable de départager franchement.