web analytics

GNOME Shell Extension Installer in Linux

GNOME Shell Extension Installer è un’utile tool che ci consente di cercare ed installare estensioni in Gnome Shell direttamente da terminale.

GNOME Shell Extension Installer
Una delle principali caratteristiche di Gnome Shell è la possibilità di includere nuove funzionalità e personalizzazioni varie tramite estensioni dedicate. Come per un moderno browser, potremo installare facilmente nuove estensioni direttamente dal portale extensions.gnome.org e gestire dal web oppure da Gnome Tweak Tool. Possiamo effettuare ricerche ed installare estensioni di Gnome Shell direttamente dal nostro terminale, senza quindi utilizzare nessun browser, grazie al nuovo tool GNOME Shell Extension Installer.

GNOME Shell Extension Installer è un semplice ed utile tool open source a riga di comando che ci consente di effettuare ricerche ed installare facilmente nuove estensioni di Gnome Shell nel nostro sistema operativo. Il funzionamento è molto simile al tool Yaourt di Arch Linux, difatti basta avviare il tool da terminale seguito da -s e il nome dell’estensione da cercare, dopo alcuni secondi avremo l’elenco delle estensioni correlate alla nostra ricerca, basta indicare il numero associato e la versione del nostro Gnome Shell.

GNOME Shell Extension Installer andrà a scaricare ed installare automaticamente l’estensione, non ci resta che digitare exit e terminare la sessione, al riavvio avremo la nuova estensione già attiva che possiamo gestire o rimuovere da Gnome Tweak Tool.

GNOME Shell Extension Installer - Opzioni

Installare GNOME Shell Extension Installer è molto semplice, la prima cosa da fare è installare curl dipendenza richiesta dal tool, per Ubuntu Gnome basta digitare:

sudo apt-get install curl

a questo punto possiamo scaricare ed integrare GNOME Shell Extension Installer nel nostro sistema digitando da terminale:

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

non ci resta che avviare GNOME Shell Extension Installer esempio per cercare un’estensione menu basta digitare:

gnome-shell-extension-installer -s menu

per conoscere tutte le opzioni di GNOME Shell Extension Installer basta digitare:

gnome-shell-extension-installer -h

GNOME Shell Extension Installer è disponibile anche per Arch Linux attraverso AUR.

Home GNOME Shell Extension Installer