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」というソフトがあるのでこれを用います。



コメント

スポンサーリンク


このブログの人気の投稿

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

catコマンドの出力を行番号付きにするためのコマンドラインオプション(-n, -b)

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

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

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