This file is indexed.

/usr/share/applications/pioneers-server.desktop is in pioneers 14.1-2.

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
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
[Desktop Entry]
Version=1.0
Name=Pioneers Server
Name[af]=Pioniersbediener
Name[ca]=Servidor de Pioneers
Name[cs]=Server Pioneers
Name[da]=Pioneer Server
Name[de]=Pioneers-Server
Name[en_GB]=Pioneers Server
Name[es]=Servidor de Pioneers
Name[fr]=Serveur Pioneers
Name[gl]=Servidor de Pioneiros
Name[hu]=Pioneers szerver
Name[it]=Server Pioneers
Name[ja]=Pioneers サーバ
Name[nl]=Pioniers Server
Name[pt]=Servidor de Pioneers
Name[sv]=Pioneers-server
Comment=Host a game of Pioneers
Comment[af]=Speel gasheer vir 'n spel Pioneers
Comment[ca]=Hostatja una partida de Pioneers
Comment[cs]=Hostovat hru Pioneers
Comment[da]=Vær vært for et spil Pioneers
Comment[de]=Ein Pioneers-Spiel bereitstellen
Comment[en_GB]=Host a game of Pioneers
Comment[es]=Hospedar una partida de Pioneers
Comment[fr]=Héberger une partie de Pioneers
Comment[gl]=Hospedar unha partida de Pioneiros
Comment[hu]=Üzemeltess Pioneers játékot
Comment[it]=Ospita una partita di Pioneers
Comment[ja]=Pioneers のゲームをホストする
Comment[nl]=Creëer een spel Pioniers
Comment[pt]=Organizar um jogo de Pioneers
Comment[sv]=Stå värd för en omgång av Pioneers
Exec=pioneers-server-gtk
Icon=pioneers-server
Terminal=false
Type=Application
Categories=Game;BoardGame;GNOME;GTK;