This file is indexed.

/usr/share/app-install/desktop/gnome-media-player:gnome-media-player.desktop is in app-install-data 15.10.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
[Desktop Entry]
X-AppInstall-Package=gnome-media-player
X-AppInstall-Popcon=68
X-AppInstall-Section=universe

Version=1.0
Name=GNOME Media Player
GenericName=Media Player
Comment=A simple media player for GNOME
Exec=gnome-media-player %U
X-MultipleArgs=true
Icon=gnome-media-player-large
Terminal=false
Type=Application
StartupNotify=true
Categories=AudioVideo;GTK;
MimeType=audio/ac3;audio/mp4;audio/mpeg;audio/vnd.rn-realaudio;audio/vorbis;audio/x-adpcm;audio/x-matroska;audio/x-mp2;audio/x-mp3;audio/x-ms-wma;audio/x-vorbis;audio/x-wav;audio/mpegurl;audio/x-mpegurl;audio/x-pn-realaudio;audio/x-scpls;video/avi;video/mp4;video/flv;video/mpeg;video/quicktime;video/vnd.rn-realvideo;video/x-matroska;video/x-ms-asf;video/x-msvideo;video/x-ms-wmv;video/x-ogm;video/x-theora;
X-AppInstall-Package=gnome-media-player
X-AppInstall-Popcon=68
X-AppInstall-Section=universe


X-Ubuntu-Gettext-Domain=app-install-data