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. > _______________________________________________ xdg mailing list [email protected] http://lists.freedesktop.org/mailman/listinfo/xdg
