Какие файлы *.desktop куда относятся?

Какие файлы *.desktop куда относятся?

Я работаю под управлением Ubuntu 18.04, использую Gnome3 с расширениями Frippery (которые, помимо прочего, дают мне кучу лаунчеров "избранного" в верхней панели и меню приложений в стиле Gnome2), и у меня в меню много дублирующихся записей. Пытаясь решить эту проблему, я нахожу много дублирующихся файлов *.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. Применима ли эта спецификация к Gnome3 в Ubuntu 18.04 или есть другая спецификация?

решение1

Исходное расположение файлов .desktop находится в /usr/share/applications. Если вы создаете свой собственный файл .desktop или хотите изменить файл .desktop в /usr/share/applications, то он должен находиться в ~/.local/share/applications.

Связанный контент