Установка Gradio 7.1 в чистой, свеже-установленной Ubuntu 17.10.1/Linux Mint 18.3 и выше

[Владимир Маслов]

Сегодня после чистой пере-установки Ubuntu 17.10.1 (Unity) установил Gradio, но уже версии 7.1, но по инструкции по ссылке c домашней страницы проекта, что Владимир любезно в описании указывал.

1. Устанавливаем Flatpak:
- Ubuntu - For Ubuntu 16.04 and newer a PPA is available. To install, run:
(Для Ubuntu 16.04 и выше доступен PPA. Чтобы установить его, в Терминале последовательно введите следующие команды:)

$ sudo add-apt-repository ppa:alexlarsson/flatpak

$ sudo apt update

$ sudo apt install flatpak

!!!Attention - A flatpak package is available in Ubuntu 16.10 and newer via universe, however this is an older version, and it's recommended that you use the one from the PPA.
(!!! Внимание - Пакет Flatpak доступен в репозитариях Universe Ubuntu 16.04 и выше, однако это устаревшая версия и мы рекомендуем использовать его из PPA)

- Linux Mint - Flatpak support is built into Linux Mint 18.3 and newer.
(Поддержка Flatpak уже интегрирована в Linux Mint 18.3 и выше.)

Источник:
Установка Flatpak в разных ОС

2. Устанавливаем собственно Gradio:

В Терминале:

$ sudo flatpak install --from https://flathub.org/repo/appstream/de.haeckerfelix.gradio.flatpakref

Источник:
Установка Gradio

3. Перезагружаем систему (или через Завершение сеанса...).
У меня после установки в Dash-меню (в Приложения) не появилось, пока не перезагрузил.

Всё отлично завелось и работает!!!

Всем приятного юзанья!!!