24 Jun
2011
24 Jun
'11
9:54 a.m.
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.