GNOME Shell 拡張機能 Workspace Indicator

脳とワーキングメモリ [単行本] / 苧阪 直行 (編集); 京都大学学術出版会 (刊)



・Workspace Indicator
ワークスペースの切り替え。
GNOME Shell frippery の Bottom panel を導入してる場合はいらないかも知れないが、邪魔にはならない。



http://www.webupd8.org/2011/05/gnome-shell-workspace-indicator.html
の download it from HERE
からダウンロードして展開し、~/.local/share/gnome-shell/extensions/ にフォルダごとコピー。

Alt+F2 キーでコマンド r 。
GNOME Shell が再起動され、拡張機能が適用される。

まとめ：GNOME3 外観 APPEARANCE カスタマイズメモ > here