Default terminal in GNOME 3

Colin Walters walters at
Fri Jun 24 14:54:37 UTC 2011

On Fri, Jun 24, 2011 at 8:41 AM, Bastien Nocera <bnocera at> 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

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

More information about the desktop mailing list