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