Ubuntu 20.04 カスタマイズ

Linux
1

Dockカスタマイズ

Chrome の Gnome Shell Extension ではなく、 dconf-editor によるDockのカスタマイズ（下部中央表示、角丸め、背景など）

$ sudo apt install dconf-editor

設定箇所

dconf-editor
dconf-editor1128×776 69.5 KB

2

System Monitor

ChromeのExtensionからではインストールできないため、ターミナルからインストール後、再ログインして有効化。

$ sudo apt install gnome-shell-extension-system-monitor