ср, 31 окт. 2018 г. в 21:15, Vladimir Didenko: > > А нет, только притворяется рабочим. Вроде бы ставит, но gnome-shell не > подхватывает это расширение и gnome-tweaks его не видит. > На рабочей машине внезапно тоже заработало. Будем считать вопрос закрытым. Спасибо большое за помощь! -- С уважением, Владимир.