web-dev-qa-db-ja.com

どのGNOMEシェル拡張ディレクトリが優先/優先されますか？

これによると answer によると、GNOMEシェル拡張は2つのディレクトリにあります。つまり、

  • ~/.local/share/gnome-Shell/extensions/
  • /usr/share/gnome-Shell/extensions/

これらの各ディレクトリに同じ拡張機能（ただし異なるバージョン）がインストールされている場合、標準ユーザーとしてログインしたときに実際に使用される拡張機能を知るにはどうすればよいですか？または、そのような状況はGNOMEシェルに競合を引き起こしますか？ここでは、この拡張機能が有効になっていると想定しています。

例えば。

また、root/Sudoとしてこのコマンドが実行されました。

$ gsettings set org.gnome.Shell enabled-extensions "['[email protected]']"

ここで、ユーザーとしてログインしている場合、どの拡張機能を使用しますか？

command-linegnomegnome-shellgnome-shell-extension
3
Sun Bear

他の多くのものと同様（たとえば、.desktopランチャー（アプリケーション用）、ローカルディレクトリが優先されます。

（現在は機能していません） 'Ubuntu GNOME' Ubuntuのフレーバーには、システムにいくつかの拡張機能（AlternateTab、Applications Menu、Window Listなど）がインストールされていました-全体（したがって、/usr/share/gnome-Shell/extensions/ディレクトリ）がデフォルトです。そのような拡張機能の更新があり、ユーザーが GNOME Shell Extensions Webサイト を使用して更新した場合、ローカルコピー（~/.local/share/gnome-Shell/extensions/ディレクトリ）更新されたバージョンの拡張機能の古いシステム全体のものをオーバーライドします。

3
pomsky