3 ms·
Yea, there currently isn't exactly any way for selecting what application is considered a terminal other than hardcoding a list (which IIRC gnome-shell does). T
by NekkoDroid 2y ago
Yea, there currently isn't exactly any way for selecting what application is considered a terminal other than hardcoding a list (which IIRC gnome-shell does). There is an open MR on xdg-specs[1] to address this, which seems to have stalled
[1] https://gitlab.freedesktop.org/xdg/xdg-specs/-/merge_requests/46 https://gitlab.freedesktop.org/xdg/xdg-specs/-/merge_request...