Skip to content

Drop the Debian menu file

Pino Toscano requested to merge (removed):drop-debian-menu into master
  • the Debian menu was deprecated more than 8 years ago
  • this menu file does not have an icon

Regarding the existing desktop file to potentially replace the Debian menu file, there is a bit of history of it:

  • ipe 6.0pre30-2 (Feb 2008) adds it & ships it, proposed by Ubuntu
  • ipe 7.0.10-1 (Dec 2009) stops shipping it, accidentally (I guess?) forgotten when rewriting debian/rules to use the dh sequencer

The result is that ipe has not been shipping any desktop file for the last 14 years, and it seems there were no Debian bugs about it. Also the upstream issue trackers & mailing list shows no requests/demand for a desktop file for XDG menus.

Hence, the way I chose is to not ship any desktop file for now, since it seems there is no demand for it; in case, it ought to be better requested upstream, so it can be maintained there if wanted. debian/ipe.desktop is thus removed to avoid keeping unused files around; it's in the Git history, if needed.

Merge request reports