Wie kann ich GNOME-Shell-Erweiterungen über die Befehlszeile aktualisieren?

14

Gelegentlich erhalte ich die Meldung, dass ein Update für eine meiner GNOME-Shell-Erweiterungen vorhanden ist. Diese Nachricht leitet mich zu https://extensions.gnome.org/local/ weiter, wo ich über die Weboberfläche ein Update auslösen kann.

Ich würde lieber Updates über die Befehlszeile aufrufen, ähnlich wie beim Aufrufen apt update && apt upgrade. Wie kann ich das machen?

command-line updates gnome-shell-extension

— david.libremone
quelle

Mithilfe eines cronJobs können Sie Shell-Erweiterungen aus der /etc/shellsDatei extrahieren und apt-getAktualisierungen für jeden Wert ausführen - nur eine Idee.

— The Pizza Overlord

1

@ThePizzaOverlord Bei diesen Dingen handelt es sich in der Regel nicht um verpackte Dinge, und wenn sie vorhanden sind, werden sie häufig durch die direkt von Gnome bereitgestellten Versionen ersetzt.

— Oli

Weitere Informationen zum Hinzufügen dieser Funktion finden Sie in der Gnome-Shell-Ausgabe Nr. 906 .

— Peterino

9

In den Kommentaren zu diesem Artikel von omgubuntu.co.uk sind zwei Möglichkeiten aufgeführt:

Das GNOME-Shell-Erweiterungsinstallationsprogramm · Github , ein Bash-Skript zum Installieren und Durchsuchen von Erweiterungen von extensions.gnome.org . Installieren Sie es mit

wget -O gnome-shell-extension-installer "https://github.com/brunelli/gnome-shell-extension-installer/raw/master/gnome-shell-extension-installer"
chmod +x gnome-shell-extension-installer
sudo mv gnome-shell-extension-installer /usr/bin/

Aktualisieren Sie die Erweiterungen 23und 42für GNOME Shell 3.18.4mit

ids=( 23 42 )
gnome=3.18.4
gnome-shell-extension-installer ${ids[@]} $gnome --yes --update --restart-shell

Aktualisieren Sie alle Erweiterungen mit

gnome-shell-extension-installer --yes --update --restart-shell

Ich konnte es nicht testen, aber ich bin mir ziemlich sicher, dass es skriptfähig ist.

Wenn Sie Ihre Erweiterungen durch Klonen ihrer Git-Repos installiert haben, können /path/Sie nur git pulldie Repos nacheinander installieren :
```
for i in /path/*; do
  git -C"$i" pull
done
```
Danach müssen Sie die GNOME-Shell entweder mit Alt+ F2und roder mit dem Befehl neu laden gnome-shell -r.

— Dessert
quelle

0

Mit dem gnomeshell-extension-manage- Skript von Nicolas Bernaerts können GNOME-Shell-Erweiterungen sowohl systemweit als auch im Benutzerbereich installiert und entfernt werden.

So würden Sie es installieren:

wget https://raw.githubusercontent.com/NicolasBernaerts/ubuntu-scripts/master/ubuntugnome/gnomeshell-extension-manage
chmod 755 gnomeshell-extension-manage
sudo mv -iv gnomeshell-extension-manage /usr/local/bin/gnome-shell-extension-manage

Dies macht es für jeden Benutzer verfügbar: (neben ähnlichen GNOME-Befehlen)

$ gnome-shell-extension-manage 
Install/remove extension from Gnome Shell Extensions site https://extensions.gnome.org/
Extension ID should be retrieved from https://extensions.gnome.org/extension/<ID>/extension-name/
Version installed will be targeted as the same as Gnome Shell or the next available one
Parameters are :
  --install               Install extension (default)
  --remove                Remove extension
  --user                  Installation/remove in user mode (default)
  --system                Installation/remove in system mode
  --version <version>     Force Gnome version (use 'latest' to force latest one)
  --extension-id <id>     Extension ID in Gnome Shell Extension site (compulsory)

Die Gnome-Shell - Verwaltung von Erweiterungen aus dem Konsolen- Blogbeitrag erklärt detailliert, wie sie verwendet wird. Zum Aktualisieren einer Erweiterung müssen Sie --version latestden Befehl hinzufügen .

Technisch gesehen bestehen die beiden Hauptunterschiede zu Ian Brunellis Gnome-Shell-Erweiterungsinstallationsprogramm darin, dass Sie systemweite Installationen durchführen können und diese verwenden, wgetanstatt curldie Erweiterungen herunterzuladen.

— Peterino
quelle