Bonjour
,
les fichiers sont identiques (a part 4 espaces au début de quelques lignes, mais je pense que c'est du à ton copié-collé)
et pour les fichiers : gnome-applications.menu, voici où ils se trouvent chez moi
root@debian:/# find -name gnome-applications.menu
./home/bruno/.config/menus/gnome-applications.menu
./etc/xdg/menus/gnome-applications.menu
Voici le contenu de celui situé dans mon home
<?xml version="1.0" ?>
<!DOCTYPE Menu
PUBLIC '-//freedesktop//DTD Menu 1.0//EN'
'http://standards.freedesktop.org/menu-spec/menu-1.0.dtd'>
<Menu>
<Name>Applications</Name>
<MergeFile type="parent">/etc/xdg/menus/gnome-applications.menu</MergeFile>
<Menu>
<Name>Multimedia</Name>
<Include>
<Filename>Kino.desktop</Filename>
</Include>
<AppDir>/home/bruno/.local/share/applications</AppDir>
</Menu>
<Menu>
<Name>System</Name>
<Menu>
<Name>Preferences</Name>
<AppDir>/home/bruno/.local/share/applications</AppDir>
<Exclude>
<Filename>gcm-calibrate.desktop</Filename>
</Exclude>
</Menu>
</Menu>
<Menu>
<Name>Other</Name>
<Include>
<Filename>gnome-shell-extension-prefs.desktop</Filename>
</Include>
<AppDir>/home/bruno/.local/share/applications</AppDir>
</Menu>
</Menu>