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