Come posso aggiornare le estensioni della shell GNOME dalla riga di comando?

14

Occasionalmente ricevo messaggi che mi dicono che c'è un aggiornamento per una delle mie estensioni della shell GNOME, che mi indirizza a https://extensions.gnome.org/local/ dove posso attivare un aggiornamento tramite l'interfaccia web.

Preferirei invocare gli aggiornamenti dalla riga di comando, simile alla chiamata apt update && apt upgrade. Come posso fare questo?

command-line updates gnome-shell-extension

— david.libremone
fonte

È possibile utilizzare un cronlavoro per estrarre le estensioni della shell dal /etc/shellsfile ed eseguire gli apt-getaggiornamenti per ogni valore - solo un'idea.

— The Pizza Overlord,

1

@ThePizzaOverlord Questi tendono a non essere cose impacchettate e quando lo sono, sono spesso sostituite dalle versioni fornite direttamente da Gnome.

— Oli

Vedi il numero # 906 di gnome-shell per una richiesta di aggiunta di questa funzione.

— Peterino,

9

I commenti su questo articolo di omgubuntu.co.uk elencano due possibili modi:

Il programma di installazione delle estensioni della shell GNOME · Github , uno script bash per installare e cercare le estensioni da extensions.gnome.org . Installalo con

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/

Aggiorna le estensioni 23e 42per GNOME Shell 3.18.4con

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

Aggiorna tutte le estensioni con

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

Non ho potuto provarlo, ma sono abbastanza sicuro che sia scriptabile.

Se hai installato le tue estensioni clonando i loro repository git su di /path/te, puoi solo git pulli repository uno dopo l'altro:
```
for i in /path/*; do
  git -C"$i" pull
done
```
Successivamente è necessario ricaricare la shell GNOME con Alt+ F2e ro il comando gnome-shell -r.

— dolce
fonte

0

Lo script gnomeshell-extension-manage di Nicolas Bernaerts consente di installare e rimuovere le estensioni della shell GNOME sia a livello di sistema che nello spazio utente.

Ecco come lo installeresti:

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

Questo lo rende disponibile per ogni utente: (insieme a comandi GNOME simili)

$ 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)

Il Gnome Shell - Gestione di estensioni da console post del blog spiega in dettaglio come vengono utilizzati. Per aggiornare un'estensione è necessario aggiungere --version latestal comando.

Le due principali differenze, tecnicamente parlando, con il programma di installazione delle estensioni gnome-shell di Ian Brunelli sono che puoi fare installazioni a livello di sistema e che sta usando wgetinvece di curlscaricare le estensioni.

— Peterino
fonte