Ubuntu 18.04 に導入した GNOME Shell 拡張機能たち

GNOME Shell 拡張機能を入れると、Ubuntu のデスクトップ周りをちょっと便利に改造できる。自分は以下を入れた。

今回は紹介だけ〜。