On Fri, 2011-07-01 at 14:48 +0200, Nils Philippsen wrote:
On Fri, 2011-06-24 at 10:54 -0400, Colin Walters wrote:
On Fri, Jun 24, 2011 at 8:41 AM, Bastien Nocera bnocera@redhat.com wrote:
Because we're not designing a desktop for people who like to choose their own terminal emulators.
I would say more that if you're the kind of user that wants to tweak this stuff, gsettings from the command line is *better* than having UI.
$ gsettings list-recursively | grep terminal org.gnome.desktop.default-applications.terminal exec 'gnome-terminal' org.gnome.desktop.default-applications.terminal exec-arg '-x'
Pretty easy to do.
Hmm, doesn't work here:
That functionality is in glib 2.29. I don't think that it's what Colin was focusing on anyway, and using dconf-editor would have worked just as well.