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



コメント

スポンサーリンク


このブログの人気の投稿

なぜ人は卒業式で泣くのだろうか?そこから人の持つ社会性を考えてみる

[ちょっと実験] 温度計を気温差がある場所へ持ち出した時に安定するまでの時間

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

MPV(動画再生ソフト)のキーボード操作方法

Firefoxで最後に別ウィンドウを閉じてしまい、メインウィンドウのタブが復元されなかった場合の対処