[Risolto] - Ubuntu 18.04 Gnome - selettore spazi di lavoro sul pannello

[Apanta]

Salve.
Avrei bisogno di mettere sul pannello superiore il selettore spazi di lavoro. Per intenderci, qualcosa del genere, che onestamente avevo installato mesi fa, ma che non ricordo come, non avendo salvato alcuna procedura.
Non riesco a trovare la soluzione che avevo adottato circa 8 mesi fa e che mi occorre nuovamente, avendo installato Ubuntu 18.04 gnome su altro pc.
In pratica cerco questo:

Grazie per il vs. aiuto.

[lollo360]

Penso che tu debba installare questa estensione: https://extensions.gnome.org/extension/ ... indicator/

[Apanta]

Avevo letto, ma mi sono fermato perché non capisco per quale motivo devo installare "una estensione del browser" come si legge nella pagina linkata, mentre io la voglio sul pannello del s.o.

[lollo360]

L'estensione del browser ti serve per far comunicare il browser con il SO. In questo modo puoi installare direttamente dal browser un estensione per GNOME

[Darknico]

Se non vuoi installare l'extension del browser, puoi scaricare lo zip e scompattarlo sotto
/home/TUOUTENTE/.local/share/gnome-shell/extensions

Una volta copiata la cartella, premi ALT + F2 e nel prompt di comandi digita r e poi invio.
Da questo momento sarà attivabile da extension di GNOME Shell

Io però ti consiglio di usare l'extension e il connector come spiegato qui:
https://wiki.gnome.org/Projects/GnomeSh ... untu_Linux
fa la stessa identica cosa che faresti manualmente ma più veloce, con un clik su ON/OFF

[Apanta]

Seguendo il percorso, dentro gnome-shell non c'é una cartella extensions, sul link del wiki alla fine parla di problemi di bug con firefox (é il mio browser).
Però non ricordo di aver usato le procedure che mi state suggerendo. Forse si può fare tramite dconf-editor?

[Darknico]

Probabilmente non hai nessuna extensions installata, quindi non hai la cartella, che puoi creare tu stesso.

Io però ti consiglio di installare l'extension per firefox (io stesso uso firefox, quindi ti assicuro che non ha problemi) e poi lanciare il comando per installare il connector

Codice: Seleziona tutto

sudo apt-get install chrome-gnome-shell

Così facendo installerai l'extension senza problemi, come puoi vedere da questa schermata

potrai attivarlo ed avere quello che chiedi.

P.S. il bug che dici, risale a 3 anni fa e risulta risolto

[Apanta]

C'é qualcosa che non mi torna essendo poco pratico.
ho installato 'estensione e scaricato il file sia .zip sia .tar.gz,

shell-extensions.png (8.39 KiB) Visualizzato 7976 volte

ed ora come procedo?

[Apanta]

Non ho avuto bisogno di fare alcuna operazione. Una volta installata l'estensione su firefox, ho riavviato il pc e poi su gnome-tweaks/estensioni, ho trovato quello che mi interessava.

Grazie per l'aiuto.