/usr/share/debian-edu/menu/menus/applications-merged/history.menu is in education-menus 1.812+deb8u1.
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 | <!DOCTYPE Menu PUBLIC "-//freedesktop//DTD Menu 1.0//EN"
"http://www.freedesktop.org/standards/menu-spec/1.0/menu.dtd">
<Menu>
<Name>Applications</Name>
<Menu>
<Name>Education</Name>
<Menu>
<Name>History</Name>
<Directory>History.directory</Directory>
<Include>
<And>
<Category>Education</Category>
<Category>History</Category>
</And>
</Include>
</Menu> <!-- End History -->
</Menu> <!-- End Education -->
</Menu> <!-- End Applications -->
|