[Bug 192757] Re: 00menu.jl causes error at startup

[Martin Stjernholm]

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 at lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs