I have the menu package installed now, so I no longer experience the
symptom. However, from examination of the sawfish.postinst script, I
suspect it can still occur if sawfish is installed and menu is not:
Afaics, sawfish unconditionally installs /etc/X11/sawfish/site-
init.d/00menu.jl, which unconditionally requires debian-menu. However,
sawfish.postinst only creates it if update-menus is present at the time:
# Automatically added by dh_installmenu
inst=/etc/menu-methods/sawfish
if [ -f $inst ]; then
chmod a+x $inst
if [ -x "`which update-menus 2>/dev/null`" ]; then
update-menus
fi
fi
# End automatically added section
So it looks like the bug still is present.
--
00menu.jl causes error at startup
https://bugs.launchpad.net/bugs/192757
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
