/etc/X11/Xsession.d/25edubuntu-menus is in edubuntu-menus 0.2.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 15 16 | #!/bin/sh
#
BASE_DIR="/usr/share/edubuntu-menus/"
for file in ${BASE_DIR}groups/*.menu
do
group=`basename $file .menu`
for usergroup in `groups $USER | cut -d":" -f 2 | sed -e "s/ /\n/"`
do
if [ "$usergroup" = "$group" ]; then
export XDG_CONFIG_DIRS="${BASE_DIR}":/etc/xdg/
break 2;
fi
done
done
|