une petite extension de gnome qui permet d ecouter radiofrance en cliquant simplement sur une petite icone dans la barre supérieure
copiez les fichiers de l extension dans le dossier :
'~/.local/share/gnome-shell/extensions/radiofrance@nom-d-utilisateur'
redemarrez gnome shell avec 'alt + f2 ' + 'r' + 'enter'
pour la premiere install : activez l extension dans tweak-tool ( sudo apt install tweak-tool -> extension -> activer radio france )
enjoy !
vous pouvez modifer les adresses de player dans le fichier extension.js, tableau "station", ajoutez simplement les adresses de vos players de stream audio