Установите расширения GNOME Shell из терминала

Проверьте GMailWatcher. Он все еще находится на ранней стадии разработки, но работает достаточно хорошо. Я использую его уже более месяца. Рекомендуемый.

Вводный блогпост: owaislone.org/blog/2010/jul/gmail-watcher URL-адрес запуска: https://launchpad.net/gmailwatcher

PPA

$ sudo add-apt-repository ppa:loneowais/ppa $ sudo apt-get update && sudo apt-get install gmailwatcher
2
задан 20 June 2019 в 16:25

2 ответа

Расширение Dash to Dock GNOME

Как видно на https://extensions.gnome.org/extension/307/dash-to-dock/

Загрузите ZIP-файл здесь https://micheleg.github.io/dash-to-dock/releases.html

Примечание: имя загруженный файл .zip может отличаться от dash-to-dock@micxgx.gmail.com.zip, показанного в команде unzip, показанной ниже. При необходимости измените команду для правильного имени .zip.

См. Примечания по установке вручную здесь https://micheleg.github.io/dash-to-dock/download.html

Ручная установка

Вы также можете получить расширение в виде zip-архива со страницы релиза. Ищите последнюю версию, поддерживающую вашу версию оболочки. Расширение может быть установлено с помощью gnome-tweak-tool или, альтернативно, с помощью directly extracting the archive in the a directory named dash-to-dock@micxgx.gmail.com внутри ~/.local/share/gnome-shell/extensions/

unzip dash-to-dock@micxgx.gmail.com.zip \ -d ~/.local/share/gnome-shell/extensions/dash-to-dock@micxgx.gmail.com/

Требуется перезагрузка корпуса Alt+F2 r Enter. Расширение можно включить с помощью gnome-tweak-tool или с помощью dconf, добавив dash-to-dock@micxgx.gmail.com к клавише /org/gnome/shell/enabled-extensions.

Примечание: DtD не совместим с 19.04.

  • ходят слухи, что если вы удалите Ubuntu Dock, то DtD будет работать с 19.04

  • и Похоже, что ручная установка DtD сделает эту работу в 19.04

2
ответ дан 20 June 2019 в 16:25

Вы можете установить Dash-to-Dock, выполнив следующую команду:

sudo apt install gnome-shell-extension-dashtodock

Вы можете получить список доступных расширений, например, запустив apt search gnome-shell-extension.

0
ответ дан 20 June 2019 в 16:25

Другие вопросы по тегам:

Похожие вопросы: