Как я устанавливаю расширение оболочки Gnome списка окна в Ubuntu 18.04?
Я установил оболочку Gnome на своей работе ПК, работающий на Ubuntu 16.04, и это имеет расширение списка окна по умолчанию. Я обновил его до 18,04, и расширение списка окна все еще там.
Но на моей недавно установленной Ubuntu 18.04 на моем домашнем ПК, я не могу найти его через apt.
2 ответа
Расширение, которое Вы ищете, теперь сгруппировано со всеми "официальными" расширениями оболочки гнома в пакете gnome-shell-extensions. Таким образом установите тот пакет. После этого, расширения включая Window list и Applications menu будет доступно.
Конечно, можно также найти расширение на Gnome веб-сайтом расширений Shell, но затем Вы рискуете из стандартного репозитория программного обеспечения, который официально не поддерживается разработчиками Ubuntu.
- Перейдите к https://extensions.gnome.org/extension/602/window-list/.
- Установите расширение (дополнение) для Вашего браузера.
- Обновите страницу в браузере. Если все хорошо с дополнением браузера (Вы не должны видеть предложение для установки дополнения браузера больше), триггер расширения списка окна поворота к На. И теперь можно установить другое расширение от https://extensions.gnome.org/использующий этот простой браузер, переключают их на странице HTML к На состоянии.
И я рекомендую установке Инструмент Тонкой настройки GNOME для управления установленными расширениями:
sudo apt-get install gnome-tweak-tool