Я также испытал ту же ошибку. Я думаю, что мне хотелось бы изложить процедуры, которые я предпринял, чтобы заставить свою работать, а затем вы можете проверить, не ошиблись ли вы где-то.
Вот шаги
Сначала установите пакет расширений оболочки Gnome из терминала.
sudo apt install gnome-shell-extensions
А затем перезагрузите вашу систему. После этого запустите GNOME Tweaks, и вы обнаружите несколько установленных расширений. Вы можете просто переключить кнопку, чтобы начать использовать установленное расширение.
Затем перейдите на веб-сайт GNOME Extensions (расширения пользовательских тем GNOME) и загрузите расширение с последней версией (Хотя я часто предпочитаю качать версию рядом с последней версией, так как она может быть более стабильной).
Извлеките загруженный файл в каталог ~/.local/share/gnome-shell/extensions (home/.local/share/gnome-shell/extensions). Вы можете нажать Ctrl + H, чтобы показать скрытые папки. Создайте папку extensions, если у вас ее еще нет.
Теперь перезапустите оболочку GNOME. Нажмите Alt+F2 и введите r, чтобы перезапустить оболочку GNOME.
Также перезапустите инструмент GNOME Tweaks. Теперь вы должны увидеть установленное вручную расширение GNOME в инструменте Tweak. Вы можете настроить или включить только что установленное расширение здесь.
Это все
Надеюсь, это поможет
person
Promise Preston
schedule
06.08.2019