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

[Vladimir Didenko]

ср, 31 окт. 2018 г. в 21:11, Vladimir Didenko:
>
> ср, 31 окт. 2018 г. в 21:07, Yuri Sedunov:
> > Хм, под кнопкой "Дополнения" ничего нет?
> >
>
> Внезапно заработало, возможно помогла перезагрузка.

А нет, только притворяется рабочим. Вроде бы ставит, но gnome-shell не
подхватывает это расширение и gnome-tweaks его не видит.

-- 
С уважением,
Владимир.