Spec to define the default terminal?
hadess at hadess.net
Tue Nov 3 05:47:04 PST 2015
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
> 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
> about applications opening stuff.
More information about the xdg