Есть ли способ установить расширения GNOME из терминала, например, от dash до дока? Теперь я могу зайти в магазин приложений Ubuntu Software и установить его.
Расширение Dash to Dock GNOME
Как видно на https://extensions.gnome.org/extension/307/dash-to-dock/
Загрузите. zip-файл здесь https://micheleg.github.io/dash-to-dock/releases.html
Примечание: имя загруженного файла .zip может отличаться от (скрытого), показанного в распакованном виде. команда, показанная ниже. При необходимости измените команду для правильного имени .zip.
См. Примечания по ручной установке здесь https://micheleg.github.io/dash-to-dock/download.html
Ручная установка
Вы также можете получить расширение в виде zip-архива на странице выпуска. Найдите последнюю версию, поддерживающую вашу версию оболочки. Расширение можно установить с помощью gnome-tweak-tool
или, альтернативно, , напрямую распаковав архив в каталог с именем (скрытый) внутри
~ / .local / share / gnome -shell / extensions /
распаковать (скрыто) \
-d (скрытая) требуется перезагрузка
Alt + F2 r Введите
. Расширение можно включить с помощью gnome-tweak-tool
или с помощью dconf, добавив (скрытый) к ключу / org / gnome / shell / enabled-extensions
.
Примечание. : DtD несовместим с 19.04.
Ходят слухи, что если вы удалите Ubuntu Dock
, этот DtD будет работать с 19.04
, также похоже, что ручная установка DtD сделает эту работу в 19.04
Вы можете установить Dash-to-Dock, выполнив следующую команду:
sudo apt install gnome-shell-extension-dashtodock
Вы можете получить список доступных расширений, запустив apt search gnome-shell-extension
например.