This file is indexed.

/usr/share/menu/pioneers is in pioneers 15.4-1.

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
?package(pioneers):needs="X11" section="Games/Board"\
  title="Pioneers" longtitle="Play a game of Pioneers"\
  command="/usr/games/pioneers" \
  icon="/usr/share/pixmaps/pioneers-client.xpm"

?package(pioneers):needs="X11" section="Games/Board"\
  title="Pioneers Server" longtitle="Host a game of Pioneers"\
  command="/usr/games/pioneers-server-gtk"\
  icon="/usr/share/pixmaps/pioneers-server.xpm"

?package(pioneers):needs="X11" section="Games/Board"\
  title="Pioneers Editor" longtitle="Edit a map for Pioneers"\
  command="/usr/games/pioneers-editor"\
  icon="/usr/share/pixmaps/pioneers-editor.xpm"