もっと詳しく

「Extension Manager」をインストールする 第8回でも紹介したが、GNOMEはGNOME Shellというデスクトップシェルを採用している。 そしてGNOME Shellには拡張機能という仕組みがあり、さまざまな機能を追加できる。それどころか、Ubuntuではあらかじめ3つの拡張機能が有効になっている。 GNOME Shell拡張…