L’estensione che dici tu non esiste, da terminale. Che versione di Gnome hai?
$ gnome-shell --version
L’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
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