Я пытался установить расширения через инструмент настройки GNOME, вручную через каталог .local / share, а также через ppa, когда я могу, но все еще не вижу расширение на панели. Есть мысли?
Попробуйте проверить версию Gnome Shell, установленную для расширения. В файле metadata.json в папке расширения найдите «shell-version». Это одна из самых распространенных причин, по которой расширения не будут работать. Чтобы получить версию Gnome Shell, "gnome-shell --version" в терминале. Попробуйте установить расширение для зеркала, чтобы найти сообщение об ошибке, если вышеуказанное не помогло.