そしてGNOME Shellには拡張機能という仕組みがあり、さまざまな機能を追加できる。それどころか、Ubuntuではあらかじめ3つの拡張機能が有効になっている。 GNOME Shell拡張機能(以下拡張機能)は、GNOME Shellを便利にするものや、特段便利なわけではないものの派手 ...