
extensions.gnome.org を開いて拡張機能を開くと、オン/オフのボタンを押すことができます。切り替えはできますが、何も起こらず、インストールに関するメッセージも表示されません。1 年前、20.04 を搭載した他のマシンでは、すべて正常でした。
PS: gnome-extensions、chrome-gnome-extensions、gnome-tweaks をインストールしました。Chrome と Firefox を試し、必要な拡張機能をインストールしました。
PPS 拡張機能は手動で簡単にインストールできることがわかりました。gnome-shell 拡張機能
答え1
Alt+を押しますF2(これにより GNOME パネルが開きます)。r
プロンプトに と入力し (GNOME を再起動)、 を押しますEnter
。
ウェブサイトで「オン」を押してみてください。これで機能し、拡張機能がインストールされるはずです。
説明(私の推測)
UI (メモリにロード) は更新 (ディスク上) に応答しません。キックが必要です。再起動は「キック」です。