This file is indexed.

/usr/share/applications/pioneers-editor.desktop is in pioneers 0.12.5-1ubuntu1.

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
[Desktop Entry]
Version=1.0
Encoding=UTF-8
Name=Pioneers Editor
Name[af]=Pioniers-redigeerder
Name[cs]=Pioneers Editor
Name[da]=Editor for Pioneers
Name[de]=Pioneers Editor
Name[en_GB]=Pioneers Editor
Name[es]=Editos de Pioneers
Name[fr]=Éditeur de partie
Name[gl]=Editor de Pioneiros
Name[hu]=Pioneers szerkesztő
Name[it]=Editor Pioneers
Name[ja]=パイオニアエディタ
Name[nl]=Pioniers Editor
Name[pt]=Editor de Pioneers
Name[sv]=Redigerare för Pioneers
Comment=Create your own game for Pioneers
Comment[af]=Skep u eie spel vir Pioneers
Comment[cs]=Založte vaši vlastní hru Pionýři
Comment[da]=Skab dit eget spil til Pioneers
Comment[de]=Erstelle dein eigenes Pioneers-Spiel
Comment[en_GB]=Create your own game for Pioneers
Comment[es]=Crea tu propio juego para Pioneers
Comment[fr]=Créez votre propre partie de Pioneers
Comment[gl]=Crea o teu propio xogo para Pioneiros
Comment[hu]=Készíts saját játékot a Pioneershoz
Comment[it]=Creal la tua partita di Pioneers
Comment[nl]=Ontwerp je eigen spel voor Pioniers
Comment[pt]=Crie o seu jogo de Pioneers
Comment[sv]=Skapa ett egna spel för Pioneers
Exec=pioneers-editor
Icon=pioneers-editor.png
Terminal=false
Type=Application
Categories=Game;BoardGame;GNOME;GTK;