2013-10-30 4 views
6

Gnome 3が本当に好きですが、最近Ubuntu 13.10にアップグレードし、Gnome 3.10.1をインストールしました。私は前に拡張機能 "ワークスペースグリッド"をオンにして設定することができます。今は、この拡張機能が古くなっていることを示しています。 Ctrl + Alt +(任意の矢印の方向)をワークスペースを変更するためのショートカットとして使用するようにGnome 3を設定する他の方法はありますか?Gnome 3.10ワークスペースグリッドを変更することはできますか?

(私は、ワークスペースのグリッドが2高と3ワイドになりたい。私が言及していますかを確認するためのリンクを見てみましょう)

Screenshot of Workspace Grid Extension in use

答えて

9

migerhすることにより、この拡張機能のアップデートがあります。

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

ダウンロード[email protected]をして~/.local/share/gnome-shell/extensionsにそれを抽出します。あなたはここでそれをダウンロードすることができます。

Alt+F2を押してから、rと入力してReturnと打って、Gnomeを再起動します。私はこれを使わないで新しい拡張バージョンをどのように認識させるかを考えなかった。

これで、いつものようにワークスペースグリッド拡張をアクティブにできるはずです。

gnome-tweak-toolで静的な作業領域を有効にして、拡張機能を最大限に活用する必要があります。まだTweak Toolを起動していない場合は、「Workspaces」タブに移動し、「Workspace Creation」を「Static "と" Number of Workspaces "を目的の番号(6)に設定します。

これで、mathematicalcoffeによる元の拡張が更新されたときに少し注意を払うだけです。それが起こると、おそらく "公式"バージョンに戻ってほしいと思うでしょう。

1

私は、これは古い問題であることを知っているが、私はまだ定期的にワークスペースのグリッドを使用して、私は多くの人が同様に行うことを確認しています。

トースターの回答をフォローアップするには、.local/share/gnome-shell/extensions/[grid-workspace]フォルダにあるmetadata.jsonファイルを編集する必要があります。 gnomeシェルのバージョンを実行しているバージョンに変更するだけです。

Alt-F2、r、うまくいけば、あなたの古いグリッド・ワークスペース拡張が再度実行されます。

関連する問題