☰

Instale extensões GNOME Shell do terminal

tag-icon • tag-icon software-installation gnome-shell gnome-shell-extension
Instale extensões GNOME Shell do terminal

Existe uma maneira de instalar extensões do GNOME a partir do terminal, por exemplo, dash to dock? A maneira como faço isso agora é entrar na loja de aplicativos Ubuntu Software e instalá-lo.

Responder1

Extensão Dash to Dock GNOME

Como visto emhttps://extensions.gnome.org/extension/307/dash-to-dock/

Baixe o arquivo .zip aquihttps://micheleg.github.io/dash-to-dock/releases.html

Nota: o nome do arquivo .zip baixado pode ser diferente do [email protected]mostrado no comando de descompactação mostrado abaixo. Ajuste o comando conforme necessário para o nome .zip correto.

Veja as notas de instalação manual aquihttps://micheleg.github.io/dash-to-dock/download.html

Instalação manual

Você também pode obter a extensão na forma de um arquivo zip na página de lançamento. Procure a versão mais recente que suporta sua versão do shell. A extensão pode ser instalada por meio de gnome-tweak-toolou alternativamente por dentrodirectly extracting the archive in the a directory named [email protected]~/.local/share/gnome-shell/extensions/

unzip [email protected] \ -d ~/.local/share/gnome-shell/extensions/[email protected]/

A recarga do shell é necessária Alt+F2 r Enter. A extensão pode ser habilitada com gnome-tweak-toolou com dconf adicionando [email protected]à /org/gnome/shell/enabled-extensionschave.

Nota: DtD não é compatível com 19.04.

  • há rumores de que, se você desinstalar Ubuntu Dock, o DtD funcionará com 19.04

  • parece também que a instalação manual do DtD fará com que isso funcione em 19.04

Responder2

Você pode instalar o Dash-to-Dock executando o seguinte comando:

sudo apt install gnome-shell-extension-dashtodock

Você pode obter a lista de extensões disponíveis executando, apt search gnome-shell-extensionpor exemplo.

Responder3

Acabei de encontrar duas maneiras de instalar a partir do terminal. Pessoalmente, prefiro a ferramenta empacotada python por sua simplicidade, mas a segunda maneira pode fornecer a você um controle mais refinado sobre o processo de instalação.

A) Com um pacote python

# 1. Install the package
pip3 install gnome-extensions-cli

# 2. Install extension by UUID
gnome-extensions-cli install [email protected]
# 2.a ... or by PK (primary key)
gnome-extensions-cli install 307

Mais informações na página do github:https://github.com/esembeh/gnome-extensions-cliou use o gnome-extensions-cli --help.

Se não houver uma sessão ativa do gnome shell, a ferramenta irá reclamar. Para corrigir, use --backend file.

B) Com scripts de shell personalizados

#!/usr/bin/env bash

[email protected]
pk=307

# 1. GNOME shell version
shell_version=$(gnome-shell --version | cut -d' ' -f3)

# 2. Fetch extension info (for the given shell version)
info_json=$(curl -sS "https://extensions.gnome.org/extension-info/?uuid=$uuid&shell_version=$shell_version")
# 2.a instead of ?uuid=$uuid you can use ?pk=$pk

# 3. Extract download url from the json with jq
download_url=$(echo $info_json | jq ".download_url" --raw-output)

# 4. Install the extension
gnome-extensions install "https://extensions.gnome.org$download_url"
# 4.a ... or download it first, then install
curl -sL "https://extensions.gnome.org$download_url" -o $uuid.zip
gnome-extensions install $uuid.zip
# 4.a.i ... or manually extract the zip
mkdir -p ~/.local/share/gnome-shell/extensions/$uuid
unzip $uuid.zip -d ~/.local/share/gnome-shell/extensions/$uuid

Isso é mais ou menos igual ao pacote python - exceto por usar o gnome-extensionsutilitário que vem com o GNOME Shell.

JQ é um processador JSON de linha de comando - mais sobre uso:https://stedolan.github.io/jq/

informação relacionada