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(動画再生ソフト)のキーボード操作方法

レッドカラント(フサスグリ)でジャム作り

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

LibreOffice Calcで時刻を24時以降で表示する