Hello everyone!
Any news on this?
I'll expand my previous proposal of xsession-like approach:
- Terminal emulators with their exec arguments should be described by
desktop entries in /usr/share/x-terminal-emulators
- Preferred terminal is configured in
${XDG_CONFIG_[HOME|DIRS]}/[$desktop-]x-terminal-emulator.list (hierarchy
similar to the one in mime-apps-spec)
- Format would be a simple newline-separated list of desktop entries.
- Implementations should choose the first available entry in top
priority config. Move to next priority config if not found. Last
priority would be a list generated by `ls /usr/share/x-terminal-emulators`.
2015-11-03 16:47, 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.
_______________________________________________
xdg mailing list
xdg@lists.freedesktop.org
http://lists.freedesktop.org/mailman/listinfo/xdg
_______________________________________________
xdg mailing list
xdg@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/xdg
