C'est bien agréable d'écouter un peu de musique quand on travaille, pour peu qu'on n'ait pas besoin d'être très concentré pour accomplir notre tâche en cours.

Sous Linux, l'application Radiotray permet d'écouter très simplement les radios qui diffusent un flux mp3 sur Internet.

De nombreuses radios sont préconfigurées mais les stations Françaises n'y figurent pas.

Aussi, j'ai commencé par ajouté les radios principales de Radio France:

  • France Inter
  • France Info
  • France Culture
  • France Musique

Mais ce qu'il y a de bien avec les flux MP3, c'est que le choix est plus important qu'en FM. Par exemple, pour la musique, Radio France nous propose entre autres:

  • France Musique | Classique Easy
  • France Musique | Classique Plus
  • France Musique | Concerts Radio France
  • France Musique | La Jazz

La dernière permettant de remplacer allègrement TSF, qui est une très bonne radio, mais passe désormais tellement de publicité qu'il n'est plus possible de l'écouter ...

Pour ajouter des stations avec Radiotray on peut utiliser l'interfaçe graphique précédente, mais si on veut en ajouter plusieurs on aura plus vite fait d'aller modifier directement le fichier de configuration !

Ce fichier de configuration se trouve ici: $HOME/.local/share/radiotray/bookmarks.xml

Donc, pour les radios principales de Radio France on ajoute dans le fichier le groupe "Radio France":

    <group name="Radio France">
        <bookmark name="France Inter" url="http://direct.franceinter.fr/live/franceinter-midfi.mp3"/>
        <bookmark name="France Info" url="http://direct.franceinfo.fr/live/franceinfo-midfi.mp3"/>
        <bookmark name="France Culture" url="http://direct.franceculture.fr/live/franceculture-midfi.mp3"/>
        <bookmark name="France Musique" url="http://direct.francemusique.fr/live/francemusique-midfi.mp3"/>
    </group>

Ensuite, on pourra aisément ajouter d'autres stations du groupe en piochant dans la liste des flux mp3.

Par exemple, pour les stations musicales de Radio France, on peut créer un sous-groupe du groupe Radio France que l'on nommera France Musique !