Spec to define the default terminal?

[Bastien Nocera]

On Tue, 2015-10-20 at 14:57 +0200, Per Olofsson wrote:
> 
<snip>
> > - not sure what desktop environments are doing in their code base,
> > maybe
> > hardcoding their own terminals
> 
> Many use gsettings or config files.
> 
> 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

<snip>
> > 3). invent a mimetype for terminal applications so available
> > terminals
> > can be iterated via .desktop files and a default can be requested
> > in the
> > mimeapps.list file, e.g.:
> > 
> >      [Desktop Entry]
> >      name=terminator
> >      GenericName=X Terminal Emulator
> >      Exec=terminator -x %F
> >      MimeType=x-terminal-emulator
> 
> 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.