☰

Installieren Sie GNOME Shell-Erweiterungen vom Terminal aus

tag-icon • tag-icon software-installation gnome-shell gnome-shell-extension
Installieren Sie GNOME Shell-Erweiterungen vom Terminal aus

Gibt es eine Möglichkeit, GNOME-Erweiterungen vom Terminal aus zu installieren, z. B. Dash zum Dock? Ich gehe jetzt in den Ubuntu Software App Store und installiere es.

Antwort1

Dash to Dock GNOME-Erweiterung

Gesehen beihttps://extensions.gnome.org/extension/307/dash-to-dock/

Laden Sie die ZIP-Datei hier herunterhttps://micheleg.github.io/dash-to-dock/releases.html

[email protected]Hinweis: Der Name der heruntergeladenen ZIP-Datei kann von dem im unten angezeigten Entpackbefehl abweichen . Passen Sie den Befehl bei Bedarf an, um den richtigen ZIP-Namen zu erhalten.

Die Hinweise zur manuellen Installation finden Sie hierhttps://micheleg.github.io/dash-to-dock/download.html

Manuelle Installation

Sie können die Erweiterung auch in Form eines Zip-Archivs von der Release-Seite herunterladen. Suchen Sie nach der neuesten Version, die Ihre Shell-Version unterstützt. Die Erweiterung kann über gnome-tweak-tooloder alternativ über innerhalb von installiert werden.directly 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]/

Ein Neuladen der Shell ist erforderlich . Die Erweiterung kann mit oder mit dconf durch Hinzufügen zum Schlüssel Alt+F2 r Enteraktiviert werden .gnome-tweak-tool[email protected]/org/gnome/shell/enabled-extensions

Hinweis: DtD ist nicht mit 19.04 kompatibel.

  • Gerüchten zufolge Ubuntu Docksoll DtD nach der Deinstallation mit 19.04 funktionieren.

  • es scheint auch, dass die manuelle Installation von DtD dies in 19.04 zum Laufen bringt

Antwort2

Sie können Dash-to-Dock installieren, indem Sie den folgenden Befehl ausführen:

sudo apt install gnome-shell-extension-dashtodock

Sie können die Liste der verfügbaren Erweiterungen abrufen, indem Sie apt search gnome-shell-extensionbeispielsweise Folgendes ausführen:

Antwort3

Ich habe gerade zwei Möglichkeiten gefunden, vom Terminal aus zu installieren. Persönlich bevorzuge ich das Python-Pakettool wegen seiner Einfachheit, aber die zweite Möglichkeit bietet Ihnen möglicherweise eine feinere Kontrolle über den Installationsprozess.

A) Mit einem Python-Paket

# 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

Weitere Informationen auf der GitHub-Seite:https://github.com/essembeh/gnome-extensions-clioder verwenden Sie gnome-extensions-cli --help.

Wenn keine aktive Gnome-Shell-Sitzung vorhanden ist, beschwert sich das Tool. Um dies zu beheben, verwenden Sie --backend file.

B) Mit benutzerdefinierten Shell-Skripten

#!/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

Dies ist mehr oder weniger dasselbe wie das Python-Paket – abgesehen von der Verwendung des gnome-extensionsDienstprogramms, das mit der GNOME-Shell geliefert wird.

JQ ist ein JSON-Prozessor für die Kommandozeile – mehr zur Verwendung:https://stedolan.github.io/jq/

verwandte Informationen