One line in /usr/local/petget/installpkgs.sh is a regular expression pattern to parse /etc/xdg/menus/hierarchy -- but recently I had added "#" comments onto every line in that file, which unbeknown to me broke that pattern. I did a tweak on that section of code in installpkgs.sh just before releasing 5.4.1, but did not pick up on the broken pattern.
The result was that when a package is installed, PPM reports that there is no menu entry, when in fact there is, and thus does not update the menu.
A manual update fixes it:
# jwm -reload
Anyway, I have fixed installpkg.sh, so the PPM will update the menu.
No comments posted yet.