I've removed "menu" but not "menu-xdg" and now the bug has disappeared.
This is a bug of "menu" package. Installing it should not cause repeated entries in Gnome Shell. Maybe we should reassign this bug to "menu" package? (I don't know whether it's possible to move a Debian bug to an other package). 25.11.2012, 22:14, "Michael Biebl" <bi...@debian.org>: > On 25.11.2012 20:51, Victor Porton wrote: > >> Package: gnome-shell >> Version: 3.4.2-2 >> Severity: normal >> >> Dear Maintainer, >> >> When I type "gnome-terminal" in Gnome Shell dashboard, I see two (different) >> icons of the terminal instead of one, as it should be. The same >> (duplication) >> happens with many other (probably all) apps. > > You most likely have the Debian Menu enabled. > Please try removing the menu and menu-xdg package or hiding the Debian > menu (which is hidden by default in GNOME). > > -- > Why is it that all of the instruments seeking intelligent life in the > universe are pointed away from Earth? -- Victor Porton - http://portonvictor.org -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
