This file is indexed.

/usr/share/doc/menu/examples/system.9wmrc-menu is in menu 2.1.46.

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
#!/bin/bash

#I need to be executable!!
#
#(all the other system.*wm*.rc files don't need to be executable,
#but the 9wm one does.
#(the system.9wmrc-menu file doesn't need to be executable, though)

config=/etc/X11/9wm/system.9wmrc

#
#the next line inludes the /etc/X11/9wm/menudefs.hook file (or
#the personalised version from the user.
#
include-menu-defs

while test "$#" != "1" ; do
  case "$1" in
    --menu)
      (echo /usr/bin/X11/9menu -teleport -label $2 -popdown \
            `$2` exit)|/bin/sh; 
      shift;;
    --start)
      (echo /usr/bin/X11/9menu -iconic -teleport -label $2 -popdown \
            `$2` exit)|/bin/sh; 
      shift;;

    *)
      echo Usage: $config --menu menu-name
      exit;;
  esac
done