diff options
Diffstat (limited to 'devel/anjuta/files/patch-src_commands.c')
| -rw-r--r-- | devel/anjuta/files/patch-src_commands.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/devel/anjuta/files/patch-src_commands.c b/devel/anjuta/files/patch-src_commands.c new file mode 100644 index 000000000000..89e481307f55 --- /dev/null +++ b/devel/anjuta/files/patch-src_commands.c @@ -0,0 +1,10 @@ +--- src/commands.c.orig Tue Aug 31 00:41:32 2004 ++++ src/commands.c Tue Aug 31 00:41:56 2004 +@@ -102,6 +102,7 @@ + /* Ditto */ + static gchar * + term_commands[] = { ++ "gnome-terminal -e '$(anjuta.current.command)'", + "gnome-terminal -e \"$(anjuta.current.command)\"", + "gnome-terminal -x sh -c \"$(anjuta.current.command)\"", + "gnome-terminal --command=\"sh -c \\\"$(anjuta.current.command); read x\\\"\"", |