Ubuntu 17.10: Installare estensioni da GNOME Shell Extensions
L’installazione di estensioni dal sito GNOME Shell Extensions su di Ubuntu 17.10 è resa difficoltosa dal fatto che su di Ubuntu 17.10 non viene preinstallato un pacchetto necessario a far comunicare il sito GSE con il nostro sistema operativo. Infatti, anche installando l’estensione per Firefox per l’integrazione con GNOME Shell, se proviamo ad andare sul sito per le estensioni ci verrà fuori il messaggio
l’estensione «Integrazione con GNOME Shell» è in esecuzione, il
connettore host nativo non è rilevato. Fare riferimento alla documentazione per istruzioni sull’installazione del connettore.
e ci ritroveremo con l’impossibilità di installare estensioni dal sito.
Come risolvere?
Semplice, apriamo il terminale e digitiamo
sudo apt install chrome-gnome-shell
Una volta fatto riavviamo Firefox e andiamo nuovamente sul sito GNOME Shell Extensions. Il messaggio non comparirà più e sarà possibile installare le estensioni.
Questo pacchetto funziona sia con Firefox che con Chromium/Chrome.
