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
