Spec to define the default terminal?

[Vladimir Kudrya]

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 at lists.freedesktop.org
> http://lists.freedesktop.org/mailman/listinfo/xdg