gnome拡張機能をインストールできません。20.04が新しくなりました。

gnome拡張機能をインストールできません。20.04が新しくなりました。

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 (メモリにロード) は更新 (ディスク上) に応答しません。キックが必要です。再起動は「キック」です。

関連情報