Я только что установил Ubuntu 16.04 и оболочку Gnome 3.18.5. Я новичок во всем "расширении Gnome Shell" (я использую свой браузер для установки пользовательских расширений?) ..
Итак, когда я впервые зашел на https://extensions.gnome.org, я мог установить расширение, которое мне кажется, но теперь оно показывает мне сообщение (например, когда я перехожу на https://extensions.gnome.org/local/ ). : "Попытка отправить сообщение на отключенный порт":
Я не могу больше ничего делать на этом сайте. Когда я смотрю расширение на веб-сайте, я не могу найти какую-либо кнопку установки или что-то еще (но тогда я не совсем уверен, как это должно работать).
Я попытался установить расширение «Скрыть верхнюю панель», а также установить инструмент настройки Gnome.
Как бы я установить этот инструмент с командной строкой?
$ sudo apt-get install gnome-shell-extensions-hide-top-bar
похоже, не работает (E: невозможно найти пакет gnome-shell-extensions-hide-top-bar)