GNOME Shell extension

2017 年 10 月 9 日

以下の3つを追加しました。
また、GNOME Shell Fripperyのバージョンが0.3.5になっていたので更新しました。
こちら→ gnome-shell-frippery-0.3.5.tgz
 
【Autohide Top Bar extension】
いつも見えている Top Panel を自動で隠します。
インストールは WEB UPD8 のとおり、ターミナルから次の3行で repository を追加、インストールします。


sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-autohidetopbar

“Alt+F2″を押して、コマンド入力のダイアログ画面で” r “を入力して Enter キーを押すと、GNOME Shell がリスタートします。それから「高度な設定( Advanced Settings)」から拡張機能を有効にすると、自動的に隠れるようになります。
こんな感じで消えます。

実際の動きは WEB UPD8 でご確認ください。
 
 
【Window List Extension】
Bottom Panel 拡張機能を使っていないため、Top Panel にWindow List を表示させます。
結局 Gnome Shell を使い続けて操作にも慣れたので、アクティビティから Window を選択することが苦になりません・・・というよりも動きそのものを楽しんでます。が、左上の端っこにマウスカーソルを移動させなければならないので、とりあえず Top Panel が見えたら開いている Window を確認できるようにしてみました。
ダウンロードは GNOME-LOOK.ORG から。
インストールは同ページに書いているとおり /home/(自分のhome)/.local/share/gnome-shell/extensions/ に展開したファイルをコピーして GNOME Shell をリスタートすればOK。
 
 
【User Theme】
~/.themes/ に保存した GNOME Shell のテーマを拡張機能から選択できるようにします。
最初の2行は上で実行済みなら必要ありません。


sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-user-theme

 
他にも拡張機能はたくさんあるので色々お試しください。
 
 
 

Ubuntu

Posted by @Think