Ubuntu 20.04 LTSで初めからインストールされているGNOME Extensionsを無効にする方法

初めからインストールされているGNOME Extensions

Ubuntu 20.04 LTSのGNOMEデスクトップ環境では初めからいくつかのGNOME Extensionsがインストール(有効となっている)されています。

  • Desktop Icons
  • Ubuntu AppIndicators
  • Ubuntu Dock

 

これらの拡張機能を管理するには

これらはGNOME Tweaksで拡張機能を無効にしても無効とはなりません。マニュアルでインストールする拡張機能とはシステム的に別管理となっているため、ちょっと扱いが特殊となってきます。

そして、Ubuntu 20.04 LTSではこれらの拡張機能の管理も行える「Extensions」というソフトがあるのでこれを用います。



コメント

スポンサーリンク


このブログの人気の投稿

Ubuntu Softwareが起動しないのでいろいろと調べてみる(Ubuntu 20.04.1 LTS)

gnuplotでプロットなどの色をcolornameの指定で変更する

Pythonのformat()を使って1桁の16進数でも2桁で出力する方法

gnuplot : グラフにグリッド線を描く方法(set grid)

gnuplot : プロット画像のサイズ指定について(set sizeとの違い)