[sisyphus] Установка расширений с extensions.gnome.org

[Yuri Sedunov]

В Ср, 31/10/2018 в 21:15 +0300, Vladimir Didenko пишет:
> ср, 31 окт. 2018 г. в 21:11, Vladimir Didenko:
> > ср, 31 окт. 2018 г. в 21:07, Yuri Sedunov:
> > > Хм, под кнопкой "Дополнения" ничего нет?
> > > 
> > 
> > Внезапно заработало, возможно помогла перезагрузка.
> 
> А нет, только притворяется рабочим. Вроде бы ставит, но gnome-shell
> не
> подхватывает это расширение и gnome-tweaks его не видит.

Проверил на сегодняшней регулярке на примере Topicons Plus, оно
устанавилось из gnome-software и сразу появилось в панели и gnome-
tweaks.

-- 
Yuri N. Sedunov