Bug#920746: zsh-common: lost menu entry on upgrade

2019-01-30 Thread Sven Joachim
On 2019-01-29 21:06 +0100, Axel Beckert wrote: > 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. Did you try "dpkg -i

Bug#920746: [Pkg-zsh-devel] Bug#920746: zsh-common: lost menu entry on upgrade

2019-01-29 Thread Axel Beckert
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

Bug#920746: zsh-common: lost menu entry on upgrade

2019-01-28 Thread Sven Joachim
Package: zsh-common Version: 5.7-2 Severity: normal 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. Manually running "update-menus" brought it back. This is rather annoying because it generates spurious extra