On Fri, Jun 24, 2011 at 8:41 AM, Bastien Nocera <bnocera@xxxxxxxxxx> 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.
--
desktop mailing list
desktop@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/desktop
[Fedora Users]
[Fedora Announce]
[Fedora Legacy Announce]
[Kernel]
[Fedora Legacy]
[Fedora Docs]
[Fedora Config]
[PAM]
[Red Hat Development]
[Red Hat 9]
[Gimp]
[Yosemite News]
