Hi Sven,
Sven Joachim wrote:
> In the latest uploads (5.7-1 and 5.7-2) I noticed that the Debian menu
> entry for zsh got lost when upgrading zsh and zsh-common.
JFTR: I've got a Zsh menu entry.
> Manually running "update-menus" brought it back.
Could though have been that another tool ran update-menus in the meanwhile.
Hrm. Could this be the switch from debhelper compat 11 to 12? Then
again, /var/lib/dpkg/info/zsh-common.postinst has this code inserted
by debhelper:
# Automatically added by dh_installmenu/12
if [ "$1" = "configure" ] && [ -x "`which update-menus 2>/dev/null`" ]; then
update-menus
fi
# End automatically added section
Looks good to me, i.e. doesn't explain that sudden difference. In
contrary, this looks like a bug elsewhere. I also see nothing related
in the "Changes from v11" section of debhelper(7)…
> There does not seem to be a change in zsh itself which could have
> triggered this, rather I suspect some change in dpkg 1.19.3 has caused
> it. Related bugs in menu are #628574, #518919 (archived) and #900838.
Hrm.
> A possible solution is to move the menu file back to zsh where it
> arguably belongs (it was moved to zsh-common in commit be35418de3).
I a) doubt that this helps because that commit is from 2012. I also
don't see why it should be in the architecture-dependent package while
being an architecture-independent file.
> Or remove the menu file altogether.
Indeed an option, but IMHO not because of this issue. IMHO shells are
nothing to be used via some menu.
Regards, Axel
--
,''`. | Axel Beckert <a...@debian.org>, https://people.debian.org/~abe/
: :' : | Debian Developer, ftp.ch.debian.org Admin
`. `' | 4096R: 2517 B724 C5F6 CA99 5329 6E61 2FF9 CD59 6126 16B5
`- | 1024D: F067 EA27 26B9 C3FC 1486 202E C09E 1D89 9593 0EDE
