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.
Continua a leggere…
Source: Lffl.org