L’estensione che dici tu non esiste, da terminale. Che versione di Gnome hai?
$ gnome-shell --versionL’estensione che vorresti è https://extensions.gnome.org/extension/104/netspeed/?
Dalla pagina attivala, io ho Gnome-shell 3.4.1 su F17 e funziona benissimo, senza nemmeno attivarla da gnome-tweak-tool (dove risulta comunque attivata fin da subito).
Facci sapere.
Ciao
SEI UN GRANDEEEEEEEEEEEEEEEE grazie mille :thanks:
Di nulla 
EDIT: o forse lo avevi già sistemato con il consiglio di yattatux?
era per yattatux… comunque ho il tuo stesso gnome-shell ma non mi andava semplicemente attivando l’estensione dalla pagina… non so il perché e è un problema sul quale devo indagare
Ottimo!
Ogni tanto riesce anche a me di dare qualche buon consiglio.
Alla prossima!