Posso modificare Gnome 3.10 Griglia spazio di lavoro?

Question

Mi piace molto Gnome 3 ma recentemente ho aggiornato a Ubuntu 13.10 e installato Gnome 3.10.1. Prima potevo semplicemente accendere l'estensione "Workspace Grid" ed essere impostato. Ora mostra che questa estensione non è aggiornata. C'è un altro modo per configurare Gnome 3 per usare CTRL + ALT + (Qualsiasi direzione della freccia) come scorciatoia per cambiare area di lavoro?

(Date un'occhiata al link per vedere che cosa mi riferisco a. Voglio che la griglia di lavoro per essere 2 alta e tre di larghezza)

Screenshot of Workspace Grid Extension in use

Answer 1

C'è un aggiornamento per questa estensione da migerh . Potete scaricarlo qui:

https://bitbucket.org/migerh/workspace-grid-gnome-shell-extension/downloads

Scarica workspace-grid@mathematical.coffee.gmail.com-for-3.10.1.zip ed estrarlo in ~/.local/share/gnome-shell/extensions.

È possibile riavviare Gnome premendo Alt+F2, quindi digitare r e premere Return. Non ho capito come ottenere la nuova versione di estensione per essere riconosciuto senza questo.

Ora dovresti essere in grado di attivare l'estensione Griglia area di lavoro come al solito.

È necessario abilitare anche le aree di lavoro statiche in gnome-tweak-tool per sfruttare appieno l'estensione, se non lo si è già fatto: Avvia Tweak Tool, vai alla scheda Aree di lavoro e imposta "Creazione area di lavoro" su "Statico" "e il" Numero di aree di lavoro "al numero desiderato (6).

Ora non resta che prestare un po 'di attenzione quando l'estensione originale di matemicalcoffe viene aggiornata. Quando ciò accade, probabilmente vorrai tornare alla versione "ufficiale".

Answer 2

Se non ti interessa la barra delle attività in basso, questo addon ha funzionalità di rete.

http://intgat.tigress.co.uk/rmy/extensions/index.html

https://extensions.gnome.org/extension/3/bottom-panel/

Answer 3

So che questa è una vecchia questione, ma ho ancora uso della griglia di lavoro sul regolare, e sono sicuro che molti altri fanno così.

Per dare seguito alla risposta di Toster, potrebbe essere necessario modificare il file metadata.json che si trova nella cartella .local/share/gnome-shell/extensions/[grid-workspace]. Basta cambiare la versione della shell di gnome alla versione che stai utilizzando.

Alt-F2, r, e si spera che l'estensione dell'area di lavoro della griglia "obsoleta" risulti attiva e funzionante.