Какие файлы * .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 / apps есть множество записей рабочего стола, которые нигде не отображаются. Что управляет этим?
Ничто из вышеперечисленного не имеет большого сходства с разделом местоположений файлов в спецификации меню FreeDesktop . Применима ли эта спецификация к Gnome3 в Ubuntu 18.04 или есть другая спецификация?
1 ответ
Первоначальное расположение файлов .desktop находится в /usr/share/applications. Если вы создаете свой собственный файл .desktop или хотите изменить файл .desktop в /usr/share/applications, то он должен перейти в ~/.local/share/applications.