#! /bin/sh /usr/share/dpatch/dpatch-run
## 002-x-terminal.dpatch by Matej Vela <vela@debian.org>
##
## All lines beginning with `## DP:' are a description of the patch.
## DP: Use x-terminal-emulator
@DPATCH@
diff -urNad xxgdb-1.12~/calldbx.c xxgdb-1.12/calldbx.c
--- xxgdb-1.12~/calldbx.c 1996-10-02 10:59:45.000000000 +0200
+++ xxgdb-1.12/calldbx.c 2008-05-16 17:20:34.000000000 +0200
@@ -229,9 +229,9 @@
{
/* child */
/* printf("xterm xterm -l -e xxgdbiowin\n");*/
- if (execlp("xterm", "xterm", "-e", "xxgdbiowin", 0))
+ if (execlp("x-terminal-emulator", "x-terminal-emulator", "-e", XXGDBIOWIN, NULL))
{
- printf("exec of 'xterm -e xxgdbiowin' fails\n");
+ printf("exec of 'x-terminal-emulator -e %s' failed\n", XXGDBIOWIN);
unlink("/tmp/iowindowtty");
}
}