Debian Bug report logs -
#856858
xterm: Please split .desktop files into separate binary package
Reply or subscribe to this bug.
Toggle useless messages
Report forwarded
to debian-bugs-dist@lists.debian.org, Debian X Strike Force <debian-x@lists.debian.org>:
Bug#856858; Package src:xterm.
(Sun, 05 Mar 2017 15:33:04 GMT) (full text, mbox, link).
Acknowledgement sent
to Jeremy Bicha <jbicha@ubuntu.com>:
New Bug report received and forwarded. Copy sent to Debian X Strike Force <debian-x@lists.debian.org>.
(Sun, 05 Mar 2017 15:33:04 GMT) (full text, mbox, link).
Message #5 received at submit@bugs.debian.org (full text, mbox, reply):
Source: xterm
Version: 327-2
I am a maintainer of Ubuntu GNOME. I override xterm's .desktop files
[1] because we already ship a preferred terminal (gnome-terminal).
It's not practical to not ship xterm, but xterm clutters the default
menus.
Debian GNOME and others also override these .desktop files.
For several years, Debian's xterm did not ship the .desktop files. But
some users and the xterm developer complained so this was reverted in
276-1.
I am proposing an alternative solution: move the .desktops to a
separate package named something like xterm-desktop.
That way, desktops don't need to forcefully hide xterm's .desktops but
the .desktops are easily available for those who do use them.
[1] This is done by shipping
/usr/share/gnome/applications/debian-xterm.desktop and
debian-uxterm.desktop with NoDisplay=true . Other desktops can do the
same by substituting their desktop name for 'gnome'.
Thanks,
Jeremy Bicha
Information forwarded
to debian-bugs-dist@lists.debian.org, Debian X Strike Force <debian-x@lists.debian.org>:
Bug#856858; Package src:xterm.
(Sun, 25 Jun 2017 19:39:03 GMT) (full text, mbox, link).
Acknowledgement sent
to Jeremy Bicha <jbicha@ubuntu.com>:
Extra info received and forwarded to list. Copy sent to Debian X Strike Force <debian-x@lists.debian.org>.
(Sun, 25 Jun 2017 19:39:03 GMT) (full text, mbox, link).
Message #10 received at 856858@bugs.debian.org (full text, mbox, reply):
I filed this bug a few months ago and never got a response but it was
too late to make that proposed change for Stretch so that's
understandable. I'd really like to see this happen before Ubuntu 17.10
is released in a few months.
I'd be happy to submit a patch if you're interested.
https://bugs.debian.org/856858
Thanks,
Jeremy Bicha
Send a report that this bug log contains spam.
Debian bug tracking system administrator <owner@bugs.debian.org>.
Last modified:
Wed Jan 10 14:47:07 2018;
Machine Name:
beach
Debian Bug tracking system
Debbugs is free software and licensed under the terms of the GNU
Public License version 2. The current version can be obtained
from https://bugs.debian.org/debbugs-source/.
Copyright © 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson,
2005-2017 Don Armstrong, and many other contributors.