私はubuntu 19.04にいくつかの拡張機能をインストールしました。 19.10にアップグレードした後、それらはすべて無効になります(Tweaksアプリで調べます)。事前に、Firefox拡張機能を使用してそれらをインストールしていましたが、同じアイテムをインストールしようとすると、不可能です。おそらく、以前のインストールを見つけて、新規インストールを拒否します。ありがとう
必要な拡張機能を https://extensions.gnome.org/ からダウンロードします。その拡張機能の最新バージョンを選択します。
ほとんどの場合、それらはZip形式であるため、Zipフォルダーからファイルを抽出します。解凍したフォルダーを開き、metadata.jsonファイルを見つけます。そのファイルで、Shell-versionを現在お持ちのバージョンに置き換えて保存します。また、uuidをコピーし、それを使用して抽出したフォルダーの名前を変更します。
これを行った後、抽出したフォルダー(uuidを新しい名前として)をコピーして、.local/shareにある拡張フォルダーに貼り付けます。/gnome-Shell
これが完了したら、gnomeシェルを再起動すると、拡張機能が機能するはずです。 Tweaksアプリで拡張機能を有効にすることを忘れないでください。