On 31/05/14 18:22, Pino Toscano wrote:
Attached a first version of patch for it; the changes to control.in and rules should be fine, while most probably the .install files could need few tricks (since gnome-terminal-search-provider.ini is not installed). GNOME team: if you could help on this, that would be great.
Thank you. Do you plan to upload this? Still, would be nice to obtain an answer from GNOME team. The gnome-shell->gdm3 dependency was supposed to be optional too, until it wasn't. Judging from their previous response [1] I suspect they are reluctant to provide support for non-standard configurations. But of course, and explicit answer will be much better than speculation. Clearly, if non-standard configurations are the way to go, they're supposed to be supported by either upstream or Debian maintainers. [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=735023#10 -- Robert Millan -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
