drago01 drago01 at gmail.com
Sat Nov 16 09:44:50 UTC 2013

On Sat, Nov 16, 2013 at 2:51 AM, Adam Williamson <awilliam at redhat.com> wrote:
> On Sat, 2013-11-16 at 02:42 +0100, Kevin Kofler wrote:
>> As for setting the preferred terminal emulator, the user's desktop's system
>> settings should include that. (KDE System Settings does under "Workspace
>> Appearance and Behavior" / "Default Components".)
> But the point is that this is not, AFAICT, standardized in any way:
> there's no XDG spec for how such a preference should be stored or read.
> So there's no simple, trouble-free, desktop-agnostic way to simply say
> 'run the user's preferred terminal emulator'.
> GNOME has a few 'preferred apps' settings left but I don't think they're
> exposed in the UI anywhere.

Look at System Settings -> Details

More information about the devel mailing list