On 15:43, Robert Millan wrote: > I find it very strange that a terminal application needs gnome-shell. There > are > dozens of terminal applications, and so far they seem to manage without > dragging > their own desktop environment of choice with them.
FWIW I just noticed there isn't an install-time dependency declared on gnome-shell, it's only needed at build time. (Yes, it's really odd that a whole desktop environment is needed on a buildd, to compile a standalone terminal emulator application). https://buildd.debian.org/status/fetch.php?pkg=gnome-terminal&arch=i386&ver=3.12.2-3&stamp=1401560257 | gdm3 [...] gnome-bluetooth gnome-common gnome-desktop3-data | gnome-doc-utils gnome-icon-theme gnome-icon-theme-symbolic gnome-pkg-tools | gnome-session gnome-session-bin gnome-session-common gnome-settings-daemon | gnome-shell gnome-shell-common gnome-themes-standard | gnome-themes-standard-data | [...] | 0 upgraded, 490 newly installed, 1 to remove and 24 not upgraded. | Need to get 163 MB/163 MB of archives. | After this operation, 578 MB of additional disk space will be used. > Which makes me wonder: Does gnome-terminal actually work without gnome-shell? > Is > this setup properly tested and supported by upstream? popcon.d.o shows 69295 gnome-terminal users but only 56045 with gnome-shell, so this question wasn't only relevant to kfreebsd. I'm assuming gnome-terminal will still run okay, or otherwise some Linux user can follow up on this. Thanks Pino for the patch. (Disabling the feature on kfreebsd/hurd is an acceptable shortcut; splitting the build dependencies out of gnome-shell also would have fixed it, but we won't need this feature at run-time on kfreebsd/hurd). Regards, -- Steven Chamberlain ste...@pyro.eu.org -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
