/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"
|