From 22e1b9bcc0ca7cd1ba2457ddf5b5545752f9c7ea Mon Sep 17 00:00:00 2001 From: Max Gautier Date: Sat, 23 Jul 2022 22:00:53 +0200 Subject: [PATCH] gio: add xdg-terminal-exec as a known terminal Allow users to select their terminal of choice by using the xdg-terminal-exec wrapper. It is a temporary temporary solution while waiting for the xdg-default-apps specification (https://gitlab.freedesktop.org/xdg/xdg-specs/-/issues/54), in accordance with this comment: https://gitlab.gnome.org/GNOME/glib/-/issues/338#note_1076172 --- gio/gdesktopappinfo.c | 1 + 1 file changed, 1 insertion(+) diff --git a/gio/gdesktopappinfo.c b/gio/gdesktopappinfo.c index eb833b110..6289c8c6f 100644 --- a/gio/gdesktopappinfo.c +++ b/gio/gdesktopappinfo.c @@ -2637,6 +2637,7 @@ prepend_terminal_to_vector (int *argc, const char *exec; const char *exec_arg; } known_terminals[] = { + { "xdg-terminal-exec", NULL }, { "gnome-terminal", "--" }, { "mate-terminal", "-x" }, { "xfce4-terminal", "-x" },