Spec to define the default terminal?

[Per Olofsson]

On 2015-10-20 15:10, Bastien Nocera wrote:
>> Apparently GNOME removed the UI for choosing terminal so you have to
>> use 
>> the gsettings command to change it.
> 
> No, it doesn't have anything to change it because nobody who might care
> has made the changes:
> https://bugzilla.gnome.org/show_bug.cgi?id=627943

I believe GNOME 2 had a UI for choosing the terminal emulator. But I
guess the settings UI was completely rewritten in GNOME 3. Sorry.

>> I was sceptical at first but now I think it might be a good idea, 
>> although strictly speaking it is an abuse of MIME types. It is
>> similar 
>> to how URIs are handled, with x-scheme-handler/<scheme>.
> 
> Not really. See the bug above.

I can't find any argument in the bug report for why having a MIME type
for terminals would be more wrong than x-scheme-handler. Only you
stating so :-)

But you're right, it is more of a stretch. At least x-scheme-handler is
about applications opening stuff.

-- 
Pelle