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.