Spec to define the default terminal?

[Bastien Nocera]

On Wed, 2015-10-21 at 19:30 +0200, Per Olofsson wrote:
> 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 :-)

Both mime-type and scheme are metadata to the URL. I'd be fine having a
"x-scheme-handler/terminal" mime-type added if they could all handle
those URLs. They can't though.

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