Ubuntu-20.04の画面を広く使いたい

仮想デスクトップ（Activity）

左上のActivityを押すと使っている画面一覧が出る。一番右端の上下に長い画面がワークスペース一覧。 SuperやALT+F1でも一覧が出る。

ワークスペースの切り替えはSuper + PageUpとSuper + PageDown

便利なキーボードショートカット

ターミナルのフォントサイズを小さくする

あまり小さくすると目に悪いのでほどほどに。ついでに初期画面サイズも変えておくと良い

ターミナル右上のハンバーガーメニュー →Preference →Unnamedの▽を押す→cloneでProfileを増やすフォントサイズを変える Unnamedの▽→Renameでプロファイル名を変える、Set as default

ターミナルの設定ターミナルのフォントを小さくする

左端のDockを小さくする

Dockの一番下のShow ApplicationsからSettingsを起動 Appearance→DockのIcon sizeを変更

自動的に隠す（Auto-hide）もできるが、小さくするだけで充分だと思う

Dockアイコンサイズの変更

ターミナルのタイトルバーを小さくする

$ sudo apt install gnome-shell-extension-pixelsaver
$ gnome-extensions enable pixel-saver@deadalnix.me
$ gsettings set org.gnome.Terminal.Legacy.Settings headerbar false

設定結果

変更前のターミナルは縦38行、変更後は35行。80x35のターミナルを横に2つ並べられる。

変更前変更後

以下、面倒臭い設定(書きかけ）

Gnomeのシェル拡張

$ sudo apt install chrome-gnome-shell gnome-shell-extension-prefs

Ubuntu-20.04の画面まわりのリソース

themes — Ubuntu 20.04でログイン画面のテーマまたは背景を変更するにはどうすればよいですか？

リソースが保存されている場所をupdate-alternativesで調べる。質問には単にEnterで答える。下の例では /usr/share/gnome-shell/theme/Yaru/gnome-shell-theme.gresource が保存先。

$ update-alternatives --config gdm3-theme.gresource 
There are 2 choices for the alternative gdm3-theme.gresource (providing /usr/share/gnome-shell/gdm3-theme.gresource).

  Selection    Path                                                           Priority   Status
------------------------------------------------------------
* 0            /usr/share/gnome-shell/theme/Yaru/gnome-shell-theme.gresource   15        auto mode
  1            /usr/share/gnome-shell/gnome-shell-theme.gresource              10        manual mode
  2            /usr/share/gnome-shell/theme/Yaru/gnome-shell-theme.gresource   15        manual mode

Press <enter> to keep the current choice[*], or type selection number: 
$

設定はCSSとSVGになっている。とりあえずCSSだけ見てみる。Yaru-darkがダークテーマ、Yaruが普通のテーマだと思うがよくわからん。

$ gresource list /usr/share/gnome-shell/theme/Yaru/gnome-shell-theme.gresource | grep .css
/org/gnome/shell/theme/Yaru-dark/gnome-shell-high-contrast.css
/org/gnome/shell/theme/Yaru-dark/gnome-shell.css
/org/gnome/shell/theme/Yaru/gnome-shell-high-contrast.css
/org/gnome/shell/theme/Yaru/gnome-shell.css
/org/gnome/shell/theme/gdm3.css
/org/gnome/shell/theme/pad-osd.css

必要なリソースを抜き出す

$ gresource extract /usr/share/gnome-shell/theme/Yaru/gnome-shell-theme.gresource /org/gnome/shell/theme/Yaru/gnome-shell.css > gnome-shell.css

ずmemo