Kann ich das Gnome 3.10 Workspace Grid ändern?

Question

Ich mag Gnome 3 wirklich, aber ich habe vor kurzem auf Ubuntu 13.10 aktualisiert und Gnome 3.10.1 installiert. Vorher konnte ich einfach die Erweiterung "Workspace Grid" einschalten und einstellen. Jetzt zeigt es, dass diese Erweiterung veraltet ist. Gibt es eine andere Möglichkeit, Gnome 3 so zu konfigurieren, dass STRG + ALT + (beliebige Pfeilrichtung) als Verknüpfung zum Ändern von Arbeitsbereichen verwendet wird?

(Werfen Sie einen Blick auf den Link, um zu sehen, was ich beziehe mich auf. Ich möchte der Arbeitsbereich Gitter 2 hoch und drei breit sein)

Screenshot of Workspace Grid Extension in use

Answer 1

Es ist ein Update für diese Erweiterung durch migerh . Sie können es hier herunterladen:

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

Herunterladen workspace-grid@mathematical.coffee.gmail.com-for-3.10.1.zip und es ~/.local/share/gnome-shell/extensions extrahieren.

Sie können Gnome neu starten, indem Sie Alt+F2 drücken, dann r eingeben und Return drücken. Ich habe nicht herausgefunden, wie man die neue Extension-Version bekommen kann, um ohne diese erkannt zu werden.

Sie sollten jetzt in der Lage sein, die Workspace Grid-Erweiterung wie gewohnt zu aktivieren.

Sie sollten auch statische Arbeitsbereiche in gnome-tweak-tool aktivieren, um die Erweiterung voll auszunutzen, falls noch nicht: Starten Sie Tweak Tool, gehen Sie zur Registerkarte Arbeitsbereiche und stellen Sie "Arbeitsumgebung erstellen" auf "Statisch "und die" Anzahl der Arbeitsbereiche "zu Ihrer gewünschten Nummer (6).

Nun müssen Sie nur ein wenig aufpassen, wenn die ursprüngliche Erweiterung von Mathematiccoffe aktualisiert wird. Wenn das passiert, möchten Sie wahrscheinlich wieder auf die "offizielle" Version wechseln.

Answer 2

Wenn Sie die untere Taskleiste nicht stört, hat dieses Addon Grid-Funktionalität.

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

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

Answer 3

Ich weiß, dass dies eine alte Frage, aber ich habe noch Arbeitsplatz Raster auf dem regulären verwenden, und ich bin sicher, dass auch viele andere tun.

Um die Antwort des Tosters zu verfolgen, müssen Sie möglicherweise die Datei metadata.json im Ordner .local/share/gnome-shell/extensions/[grid-workspace] bearbeiten. Ändern Sie einfach die gnome-Shell-Version in die Version, die Sie ausführen.

Alt-F2, r, und hoffentlich wird Ihre "veraltete" Grid-Workspace-Erweiterung wieder verfügbar sein.