どの *.desktop ファイルがどこに属していますか?

どの *.desktop ファイルがどこに属していますか?

私は Ubuntu 18.04 を実行しており、Frippery 拡張機能 (特に、トップ バーに多数の「お気に入り」ランチャーと Gnome2 スタイルのアプリケーション メニューが表示される) を備えた Gnome3 を使用していますが、メニューに重複したエントリが多数あります。これを解決しようとすると、重複した *.desktop ファイルが多数見つかります (明らかに、これが重複したメニュー エントリの原因です)。

ただし、これらの *.desktop ファイルは複数の場所に存在します。たとえば、gnome-terminal.desktop ファイルを見ると、次のことがわかります。

/usr/share/applications/gnome-terminal.desktop
~/.config/gnome-panel/launchers/gnome-terminal.desktop
~/.gnome/apps/gnome-terminal.desktop
~/.local/share/applications/gnome-terminal.desktop

では、何が何なのでしょうか? どのデスクトップ エントリが、いつ、どこに、なぜ表示されるのでしょうか? たとえば、/usr/share/applications には、どこにも表示されないデスクトップ エントリがたくさんあります。これを制御するものは何でしょうか?

上記のどれも、FreeDesktop メニュー仕様のファイルの場所セクションこの仕様は Ubuntu 18.04 の Gnome3 に適用されますか、それとも別の仕様がありますか?

答え1

.desktop ファイルの元の場所は です/usr/share/applications。独自の .desktop ファイルを作成する場合、または の .desktop ファイルを変更する場合は/usr/share/applications、 に配置する必要があります~/.local/share/applications

関連情報