On Sep 9, 2014, at 12:53 AM, Rick Thomas <rbtho...@pobox.com> wrote:

> Enjoy!
> 
> Rick
> 
> PS: Now, one remaining question — how do I tell Gnome to use a different 
> terminal program, since gnome-terminal is broken in my environment?  Is there 
> a dpkg-reconfig option I can use for that?  Or a magical GUI for such things?
> 
> And, I guess, that then begs the further question: I love to RTFM, but what 
> FM should I read for questions like these?  Is there a FM for configuring 
> Gnome?
> 
> Again, Thanks!

I’m glad to know there are so many fine Desktop Environments out there, each 
with its share of loyal partisans.  I’ve tried many of them and I thought I’d 
give Gnome a try on this machine.  I really don’t care what other people think 
about it, because this machine is for testing, not for production.  I’m testing 
Gnome.  Ergo, I have it installed.

Unfortunately none of you nice folks have answered my question:

Is there any documentation that discusses configuring Gnome in Debian?

Thanks!

Rick

--
To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: https://lists.debian.org/89dc7e97-d611-4676-ab55-bc024f135...@pobox.com

Reply via email to