☰

Instalar extensiones de GNOME Shell desde la terminal

tag-icon • tag-icon software-installation gnome-shell gnome-shell-extension
Instalar extensiones de GNOME Shell desde la terminal

¿Hay alguna forma de instalar extensiones de GNOME desde la terminal, por ejemplo, guión para acoplar? La forma en que lo hago ahora es ir a la tienda de aplicaciones de software de Ubuntu e instalarlo.

Respuesta1

Extensión Dash to Dock de GNOME

Como se ve enhttps://extensions.gnome.org/extension/307/dash-to-dock/

Descargue el archivo .zip aquíhttps://micheleg.github.io/dash-to-dock/releases.html

Nota: el nombre del archivo .zip descargado puede ser diferente al que [email protected]se muestra en el comando de descomprimir que se muestra a continuación. Ajuste el comando según sea necesario para obtener el nombre .zip correcto.

Consulte las notas de instalación manual aquí.https://micheleg.github.io/dash-to-dock/download.html

Instalación manual

También puede obtener la extensión en forma de archivo zip desde la página de lanzamiento. Busque la última versión que admita su versión de shell. La extensión se puede instalar mediante gnome-tweak-tool, o 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]/

Se requiere recarga de Shell Alt+F2 r Enter. La extensión se puede habilitar con gnome-tweak-toolo con dconf agregando [email protected]a la /org/gnome/shell/enabled-extensionsclave.

Nota: DtD no es compatible con 19.04.

  • Se rumorea que si desinstalas Ubuntu Dock, DtD funcionará con 19.04

  • También parece que la instalación manual de DtD hará que esto funcione en 19.04.

Respuesta2

Puede instalar Dash-to-Dock ejecutando el siguiente comando:

sudo apt install gnome-shell-extension-dashtodock

Puede obtener la lista de extensiones disponibles ejecutando, apt search gnome-shell-extensionpor ejemplo.

Respuesta3

Acabo de encontrar dos formas de instalar desde la terminal. Personalmente, prefiero la herramienta empaquetada en Python por su simplicidad, pero la segunda forma podría brindarle un control más detallado sobre el proceso de instalación.

A) Con un paquete 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

Más información en la página de github:https://github.com/essembeh/gnome-extensions-clio utilizar el gnome-extensions-cli --help.

Si no hay ninguna sesión activa de gnome Shell, la herramienta se quejará. Para solucionarlo, utilice --backend file.

B) Con 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

Esto es más o menos lo mismo que hace el paquete Python, aparte de usar la gnome-extensionsutilidad que viene con GNOME Shell.

JQ es un procesador json de línea de comandos; más información sobre su uso:https://stedolan.github.io/jq/

información relacionada