Re: [Notion-general] debian menu

[Ole J. B. <ole...@ya...>]

Quite sure that snippet from cfg_notioncore.lua is added by the debian maintainer. No sign of it in the official repo, and grepping though some stuff I find it in an old folder I have lying around containing an old ion3.deb unpacked. 


> Yes I do have that package. You see, depreceated or not, if other WMs can acces
> this info (or, for that matter, programs such as 'pdmenu') then why not Notion.
> It's more about the failed Notion functionality than menu itself. Which brings
> me back to the issue: in cfg_notioncore.lua I see something like:
> 
> 404 -- Auto-generated Debian menu definitions
> 405 if os and os.execute("test -x /usr/bin/update-menus") == 0 then
> 406    if notioncore.is_i18n() then
> 407        dopath("debian-menu-i18n")
> 408    else
> 409        dopath("debian-menu")
> 410    end
> 411 end
> 
> and I don't think the 'debian-menu' module even exists. I'm not sure if it was built,
> as I'm using a snapshot, perhaps I should enable it somewhere at build time.
> 
> regards
> W