Ubuntu 17.10: Installare estensioni da GNOME Shell Extensions

by Marco Giannini on

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 browser web con il sistema. 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

Anche se 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.

Leggi il contenuto originale su Marco's Box

aggregato, linux

Written by: Marco Giannini