This file is indexed.

/usr/bin/exmendis is in extra-xdg-menus 1.0-4.

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

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
40
41
42
43
44
45
46
47
48
49
50
#!/bin/sh -e

EXTRAMENUDIR='/usr/share/extra-xdg-menus'
SYSTEMMENUDIR='/etc/xdg/menus/applications-merged'

if [ "x${XDG_CONFIG_HOME}" = "x" ]; then
  XDG_CONFIG_HOME="${HOME}/.config"
fi

HOMEMENUDIR="${XDG_CONFIG_HOME}/menus/applications-merged"

case $1 in
    --system)
        echo "Configuring extra menus: system wide"
	echo
        MENUDIR=${SYSTEMMENUDIR}
        ;;
    --local)
        echo "Configuring extra menus: local user"
	echo
        MENUDIR=${HOMEMENUDIR}
        ;;
    *)
        echo "Usage: exmendis (--system | --local) [<menu-name>]"
        exit 1
esac

if [ -z $2 ]; then
    echo "Which extra module would you like to disable?"
    echo -n "Your choices are: "
    ls $EXTRAMENUDIR/*.menu | \
        sed -e "s,$EXTRAMENUDIR/,,g" | sed -e 's/\.menu$//g;' | xargs echo
    echo -n "Extra menu name? "
    read MENUNAME
else
    MENUNAME=$2
fi

if ! [ -L $MENUDIR/$MENUNAME.menu ]; then
    if [ -e $EXTRAMENUDIR/$MENUNAME.menu ]; then
        echo "Extra menu $MENUNAME already disabled"
        exit 0
    fi
    echo "Extra menu $MENUNAME does not exist!" >&2
    exit 1
fi

rm -f $MENUDIR/$MENUNAME.menu

echo "Extra menu $MENUNAME disabled"