Default terminal in GNOME 3

[Bastien Nocera]

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 at 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.