У меня было несколько расширений, установленных в человечности 19.04. После обновления до 19,10 они все отключены (я ищу их в приложении Тонких настроек). Заранее, я установил их использующий расширение Firefox, но теперь когда я пытаюсь установить те же объекты, это не возможно, вероятно, это находит предыдущие установки и отказывается делать новую установку.Спасибо
Загрузите расширения, которые Вы хотите от https://extensions.gnome.org / Выбор последняя версия того расширения.
Большую часть времени они будут в формате zip, так извлеките файл из папки zip. Откройте извлеченную папку и найдите файл metadata.json . В том файле замените версию оболочки той, которую Вы в настоящее время имеете и сохраняете. Также скопируйте uuid и используйте его для переименования извлеченной папки.
после выполнения этого, копии и вставки, которая извлекла папку (с uuid, поскольку это - новое имя) в папке расширений, расположенной в .local/share/gnome-shell
, После того как Вы сделали это, перезапустите свою оболочку гнома, и Ваши расширения должны работать. Не забывайте включать расширения в приложении Тонких настроек.
Я нашел в настройках вверху справа переключатель, который был выключен. Включение этого параметра активировало все мои расширения.