Ich verwende Ubuntu 18.04, Gnome3 mit den Frippery-Erweiterungen (die mir unter anderem eine Reihe von „Favoriten“-Startern in der oberen Leiste und ein Anwendungsmenü im Gnome2-Stil bieten) und habe viele doppelte Einträge im Menü. Beim Versuch, dies zu beheben, finde ich viele doppelte *.desktop-Dateien (was offensichtlich die Ursache für die doppelten Menüeinträge ist).
Allerdings sind diese *.desktop-Dateien an mehreren Stellen vorhanden. Wenn ich mir beispielsweise die Datei gnome-terminal.desktop anschaue, finde ich:
/usr/share/applications/gnome-terminal.desktop
~/.config/gnome-panel/launchers/gnome-terminal.desktop
~/.gnome/apps/gnome-terminal.desktop
~/.local/share/applications/gnome-terminal.desktop
Was ist also was? Welche Desktopeinträge sollen wo, wann und warum erscheinen? Es gibt beispielsweise in /usr/share/applications viele Desktopeinträge, die nirgends erscheinen. Was steuert das?
Keines der oben genannten hat große Ähnlichkeit mit demAbschnitt „Dateispeicherorte“ in der FreeDesktop-Menüspezifikation. Gilt diese Spezifikation für Gnome3 in Ubuntu 18.04 oder gibt es eine andere Spezifikation?
Antwort1
Der ursprüngliche Speicherort der .desktop-Dateien ist in /usr/share/applications. Wenn Sie Ihre eigene .desktop-Datei erstellen oder eine .desktop-Datei in ändern möchten /usr/share/applications, sollte sie in verschoben werden ~/.local/share/applications.