Cerca, installa e aggiorna le estensioni della shell GNOME dalla riga di comando utilizzando gnome-extensions-cli

gnome-extensions-cli è un gestore di estensioni della shell GNOME non ufficiale per la riga di comando. Può installare, aggiornare, abilitare/disabilitare, rimuovere e cercare le estensioni della shell GNOME.

Questo strumento da riga di comando è ottimo se non vuoi o non puoi utilizzare un browser web (che richiede anche l’installazione di un’estensione e un connettore) per installare le estensioni della shell GNOME e ti piace usare la riga di comando.

Se preferisci utilizzare un’interfaccia utente grafica per gestire le estensioni di GNOME Shell (inclusa l’installazione di nuove estensioni, la ricerca di estensioni sul sito web di GNOME Extensions, l’aggiornamento delle estensioni installate, ecc.), dai un’occhiata a Extension Manager.

gnome-extensions-cli può installare le estensioni GNOME Shell disponibili sul sito Web GNOME Extensions utilizzando D-Bus o decomprimere direttamente i pacchetti dal sito Web Gnome nel ~/.local/share/gnome-shell/extensions/ cartella.

Usando il backend D-Bus, l’installazione è interattiva, chiedendoti se desideri installare l’estensione usando una finestra di dialogo GNOME, proprio come quando usi un browser web per installare le estensioni. Su X11, questo riavvia anche GNOME Shell se necessario (questo non funziona su Wayland). Questo non funziona su ssh, ad esempio, quindi in tal caso puoi utilizzare il backend del filesystem.

Comandi disponibili per gnome-extensions-cli:

list: elenca le estensioni abilitate. Per elencare tutte le estensioni installate, comprese quelle disabilitate, utilizzare list -a
search: cerca le estensioni sul sito Web delle estensioni della shell GNOME
install: installa le estensioni dal sito Web delle estensioni della shell GNOME
update: aggiorna le estensioni
uninstall: disinstalla estensioni
show: mostra i dettagli sulle estensioni dal sito Web delle estensioni della shell GNOME
enable: abilita le estensioni
disable: disabilita le estensioni
preferences: apre la finestra di configurazione dell’estensione

L’installazione e l’aggiornamento delle estensioni supporta più di un’estensione come argomento. Inoltre, per specificare l’estensione che desideri installare o aggiornare, puoi utilizzare l’UUID dell’estensione (ad es. dash-to-panel@jderose9.github.com) o il numero del pacchetto dal sito Web dell’estensione GNOME Shell (ad esempio, se l’URL dell’estensione è https://extensions.gnome.org/extension/1160/dash-to-panel/il numero del pacchetto di estensione è 1160).

E’ inoltre possibile aggiornare tutte le estensioni installate, semplicemente utilizzando il update comando. Oppure, se desideri aggiornare solo le estensioni utente, usa update --user.

Durante la disinstallazione, l’abilitazione, la disabilitazione o l’apertura delle preferenze di un’estensione, puoi solo specificarne l’UUID.

La funzione di ricerca elenca tutte le estensioni che corrispondono alla tua query dal sito Web delle estensioni di GNOME Shell, incluse le estensioni che non sono compatibili con la tua versione corrente di Shell. Spero che questo venga migliorato in futuro con un’opzione per restituire solo le estensioni ufficialmente supportate sulla versione GNOME Shell utilizzata sul sistema che esegue la ricerca. Nel frattempo, puoi limitare i risultati della ricerca utilizzando -l NUMBER (per esempio, search -l 10).

I risultati della ricerca includono il nome dell’estensione, l’URL, il link dello screenshot e il nome del creatore per impostazione predefinita. Per elencare anche la descrizione dell’estensione, aggiungi -v (search -v).

Installa gnome-extensions-cli

Il modo più semplice per installare gnome-extensions-cli è usare pipx. Installa pipx dai repository della tua distribuzione Linux. Per alcune distribuzioni Linux popolari, troverai il comando per installare pipx di seguito:

Distribuzioni Debian, Ubuntu e Linux basate su queste (Linux Mint, Elementary OS, Pop!_OS, Zorin OS, ecc.):

sudo apt install pipx

sudo dnf install pipx

sudo pacman -S python-pipx

sudo zypper install python-pipx

Ora puoi usare pipx per installare gnome-extensions-cli usando il seguente comando:

pipx install gnome-extensions-cli --system-site-packages

Inizia a utilizzare questo strumento da riga di comando per gestire le estensioni della shell GNOME, utilizzando gnome-extensions-cli O gext. Vedere la guida dello strumento per i dettagli: