<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>Hello!</p>
<p>Last year I proposed a mechanism for this purpose:
<a class="moz-txt-link-freetext" href="https://github.com/Vladimir-csp/xdg-terminal-exec/">https://github.com/Vladimir-csp/xdg-terminal-exec/</a></p>
<p>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.<br>
</p>
<br>
<div class="moz-cite-prefix">On 2018-08-28 03:26, Ian Huang wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CA+-XgaEf6iec6isHwmddQ6t__5m+dXh=pdaU4suU8zED-0_zjg@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=utf-8">
<div dir="ltr">
<div class="gmail_default"
style="font-family:arial,helvetica,sans-serif;font-size:small;color:rgb(0,0,0)">Hello,
I'm just a regular GNOME user, but I recently stumbled across
an <a href="https://gitlab.gnome.org/GNOME/glib/issues/338"
moz-do-not-send="true">issue</a> 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.</div>
<div class="gmail_default"
style="font-family:arial,helvetica,sans-serif;font-size:small;color:rgb(0,0,0)"><br>
</div>
<div class="gmail_default"
style="font-family:arial,helvetica,sans-serif;font-size:small;color:rgb(0,0,0)">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.</div>
<div class="gmail_default"
style="font-family:arial,helvetica,sans-serif;font-size:small;color:rgb(0,0,0)"><br>
</div>
<div class="gmail_default"
style="font-family:arial,helvetica,sans-serif;font-size:small;color:rgb(0,0,0)">Thanks
for the consideration,</div>
<div class="gmail_default"
style="font-family:arial,helvetica,sans-serif;font-size:small;color:rgb(0,0,0)">Ian
Huang (imyxh)<br>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
xdg mailing list
<a class="moz-txt-link-abbreviated" href="mailto:xdg@lists.freedesktop.org">xdg@lists.freedesktop.org</a>
<a class="moz-txt-link-freetext" href="https://lists.freedesktop.org/mailman/listinfo/xdg">https://lists.freedesktop.org/mailman/listinfo/xdg</a>
</pre>
</blockquote>
<br>
</body>
</html>