GNOME Shell Extension Installer in Linux
roberto.ferramosca24 Ottobre 2014
GNOME Shell Extension Installer è un’utile tool che ci consente di cercare ed installare estensioni in Gnome Shell direttamente da terminale.
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.
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
