From bc8f868c99580a224e021bed3a9013d905ba76ed Mon Sep 17 00:00:00 2001 From: Martin Willi Date: Mon, 28 Jul 2008 12:37:01 +0000 Subject: [PATCH] using gnome-terminal in irdumm --- src/dumm/irdumm.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/dumm/irdumm.c b/src/dumm/irdumm.c index a3d392ad8..f4b57ab11 100644 --- a/src/dumm/irdumm.c +++ b/src/dumm/irdumm.c @@ -43,7 +43,8 @@ static pid_t invoke(void *null, guest_t *guest, char *args[], int argc) { pid_t pid; - args[argc] = "con0=xterm"; + args[argc++] = "con0=xterm"; + args[argc++] = "xterm=gnome-terminal,-t,-x"; pid = fork(); switch (pid)