Die Open-Source-Anwendung Gradio gibt es erst seit einigen Wochen. Github listet den ersten Eintrag Anfang Mai auf. Die To-do-Liste ist dementsprechend noch gut gefüllt, dennoch erledigt Gradio seine primäre Aufgabe — das Auffinden und Abspielen von Webradio-Stationen — ohne Probleme. Für die Installation braucht man eine recht aktuelle Version der GTK-Bibliotheken, daher ist das vom Entwickler bereitgestellte Gradio-PPA nur für Ubuntu 16.04 und neuer geeignet. Arch bringt die entsprechenden Bibliotheken von Haus aus mit, daher lässt sich Gradio hier sehr einfach aus dem AUR installieren.

Gradio unter Ubuntu installieren

$ sudo add-apt-repository ppa:haecker-felix/gradio-daily
$ sudo apt update
$ sudo apt install gradio

Gradio unter Arch Linux installieren

$ pacaur -S gradio-git

Nach der Installation findet ihr Gradio im Anwendungsmenü von Gnome. Anfangs ist die Library mit euren Lieblingsstationen noch leer. Daher geht ihr am besten gleich in den Reiter Search und sucht nach den von euch bevorzugten Stationen. Den Index bezieht Gradio aus der freien Datenbank Community Radio Browser, die man über eine gut dokumentierte API auch in eigene Projekte einbinden kann. Eine erweiterte Suchfunktion, die beispielsweise Filter nach Musikstil oder Sprache erlaubt, soll später noch kommen.

Aus der Liste der Suchtreffer heraus, öffnet ihr mit einem Klick auf die linke Maustaste ein Kontextmenü. In diesem habt ihr unter anderem die Möglichkeit den Sender zu eurer Bibliothek hinzuzufügen (Add to library) oder die Station umgehend abzuspielen. Die Stationen in der Library erscheinen dann automatisch im entsprechenden Reiter. Mit dem Button neben dem Schließen-X schaltet ihr die Ansicht zwischen einem Raster und einer Liste um. Bislang gibt es noch keine Möglichkeit beispielsweise die Qualität des Radiostreams zu definieren.

Spielt Gradio einen Sender ab, erscheint der Player in der Benachrichtigungsanzeige des Gnome-Desktops. Allerdings übernimmt Gradio bisher noch nicht Eingaben der Multimediatasten wie etwa Play/Pause. Auf der To-do-Liste steht weiter das Anlegen eigener Radiostationen, das Bearbeiten von Einträgen aus dem Community Radio Browser oder auch das Löschen von Sendern aus den Suchergebnissen. Es gibt also noch einiges zu tun, bis das Programm komplett rund läuft. Als Alternative zur Shell-Erweiterung Internet Radio oder dem in die Jahre gekommenen Radio Tray bietet sich Gradio jedoch bereits jetzt schon an.

Die Erweiterung funktioniert aktuell mit Gnome 3.16 (bspw. in Ubuntu Gnome 15.10 enthalten) und mit dem aktuellen Gnome 3.18 (zu finden etwa in Arch). Für die Installation müsst ihr Firefox bemühen, da die meist anderen Browser NPAPI-Plugins nicht mehr unterstützen und somit das für die Installation von Gnome-Erweiterungen notwendige Browser-Plugin nicht mehr funktioniert. Nach der Installation erscheint es sofort mit ein paar Demo-Stationen in der Kopfleiste der Desktopumgebung. Wer weitere Stationen hinzufügen möchte, muss diese von Hand einfügen. Die URLs zu zahlreichen Sendern findet ihr zum Beispiel im Wiki von Ubuntuusers. Wer Bugs melden oder Verbesserungen einbringen möchte, der findet auf Github die entsprechende Anlaufstelle.

Welche Gnome-Erweiterungen kommen denn bei euch in der Regel zum Einsatz? Meine Liste mit den besten Erweiterungen für die Gnome Shell von vor etwa eineinhalb Jahren hat sich auf meinen Systemen inzwischen kräftig eingedampft. Geblieben ist jetzt eigentlich nur noch das hier vorgestellte Internet Radio und der wirklich schön gemachte und sehr nützliche Pomodoro Timer (unter Arch zu installieren über das Paket gnome-shell-pomodoro aus dem AUR), wenn auch dieser aktuell noch nicht ordentlich mit Gnome 3.18 funktioniert — das gute alte „nach einem Update funktionieren die Gnome-Erweiterungen nicht mehr Problem“.

Einmal gestartet, nistet sich das Programm im Tray (aka Benachrichtigungsfeld) ein. Es werden leider keine Radio-Stationen mitgeliefert, ihr müsst daher erstmal selber eure Liebling-Stationen in das Programm eintragen. Über einen Rechtsklick auf das Icon und Config radios… öffnet ihr den Stationsmanager. Dort könnt ihr dann über Hinzufügen einzelne Stationen eintragen. Eine Liste mit den URLs zahlreicher Internetradios findet Ihr beispielsweise im Wiki von ubuntuusers. Alternativ könnt ihr euch auf der Webseite Surfmusik.de interessante Stationen raussuchen und die URL zum Stream aus dem Quellcode fischen…

Radio Tray könnt ihr unter Debian, Ubuntu oder Linux Mint recht einfach installieren. Die Macher bieten Pakete im DEB-Format an, die sich auf Debian-basierten Systemen mit einem Doppelklick installieren lassen. Ihr findet sie im Downloadbereich der Projektseite bei Sourceforge. Nach der Installation könnt Ihr das Programm via Anwendungen | Unterhaltungsmedian | Radio Tray starten. Das Programm ist noch recht jung und muss zum Teil auch noch übersetzt werden. Auf Transifex gibt es schon ein Projekt für die Übersetzung von Radio Tray. Wer dem Projekt folgend möchte, der findet im Blog zu Radio Tray fortlaufend Informationen.