先日、更新したUbuntu（Ubuntu16.04LTSから18.04LTSにアップグレードした:2018年07月28日参照）だが、デスクトップがUnityからGnomeになって、すこぶる使い勝手が悪い。調べてみたら、Gonome extensionsなる拡張機能をインストールして、カスタマイズするものらしい。 拡張