|
Hello!
Last year I proposed a mechanism for this purpose:
https://github.com/Vladimir-csp/xdg-terminal-exec/
It addresses issues like inconsistent cli arguments of different
emulators and general difference in paradigms between choosing a
terminal emulator and choosing file/protocol associations.
On 2018-08-28 03:26, Ian Huang wrote:
Hello,
I'm just a regular GNOME user, but I recently stumbled across
an issue on GitLab that brought up
the concern that there seems to be no good way at the moment
to specify the default terminal to handle applications with
the Terminal=true field in their desktop files. GLib, for
example, is hardcoded to use gnome-terminal at the moment
because no MIME type exists for this type of function.
Anyway,
it was brought up—both in the issue and on GNOME's IRC—that a
MIME type for terminal emulators (@borschty proposed something
like x-task/terminal) in the specification would make things a
bit easier. Or maybe there's a better way to do this using
another method. All I know is that having GLib and
alternatives come up with their own way to set the terminal
seems to be a bit inconsistent and sloppy compared to the way
in which, say, URI handlers are chosen.
Thanks
for the consideration,
Ian
Huang (imyxh)
_______________________________________________
xdg mailing list
[email protected]
https://lists.freedesktop.org/mailman/listinfo/xdg
|
_______________________________________________
xdg mailing list
[email protected]
https://lists.freedesktop.org/mailman/listinfo/xdg