Gradio - это простой радио-плеер, который позволяет прослушивать онлайн-радиостанции на рабочем столе Linux, без необходимости использовать web-браузер для поиска потокового интернет - радио.
Примечание. Не путать с Gradio - GNOME Shell Extensions.
Поиск станций очень прост. Вы нажимаете на вкладке Discover (Обнаружить, найти) и просмотреть предлагаемые радиостанции.
Помимо предлагаемых станций, можно ввести в поле поиска страну или название станции для поиска потокового интернет - радио, кликнуть на радиостанции и нажать Play:
Вкладка Library служит для составления списка пользователя из предпочитаемых радиостанций.
Добавление станций в Library производится очень просто: 1. Клик на станции; 2. На знаке плюс.
Удаление станций из Library также просто:
Приложение интегрировано с рабочим столом:
Gradio требует кроссплатформенные библиотеки GTK3> = 3.18 и может быть установлен в Ubuntu 16.04/ 16.10, а также в их производные, например, Linux Mint 18 и т.п. дистрибутивы.
Установка Gradio в Ubuntu 16.04/16.10 и производные
Откройте терминал, скопируйте и выполните данную последовательность команд:
sudo add-apt-repository ppa:haecker-felix/gradio-daily
sudo apt update
sudo apt install gradio
По окончании установки вы найдёте Gradio поиском в меню:
Удаление Gradio
Если вы решили удалить Gradio, выполните эти команды в терминале:
sudo add-apt-repository -r ppa:haecker-felix/gradio-daily
sudo apt update
sudo apt remove gradio
Источник: https://github.com/haecker-felix/gradio/releases
Удачи.