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(a)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.