diff options
-rw-r--r-- | src/dumm/irdumm.c | 3 |
1 files changed, 2 insertions, 1 deletions
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) |