Commit 0578b7d7 authored Jul 05, 2018 by Mike Gabriel

debian/patches: Add 2001_prefer-x-terminal-emulator.patch. Prefer...

debian/patches: Add 2001_prefer-x-terminal-emulator.patch. Prefer x-terminal-emulator over not-so-well-known terminal emulators. (Closes: #809742).

parent b72aa660

debian/patches/2001_prefer-x-terminal-emulator.patch

0 → 100644

+14 −0

Original line number	Diff line number	Diff line
		Description: Debian specific; prefer x-terminal-emulator as terminal to run applications in.
		Author: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>

		--- a/libmate-desktop/mate-desktop-utils.c
		+++ b/libmate-desktop/mate-desktop-utils.c
		@@ -136,6 +136,8 @@
		term_argv[1] = g_strdup ("-x");
		} else {
		if (check == NULL)
		+ check = g_find_program_in_path ("x-terminal-emulator");
		+ if (check == NULL)
		check = g_find_program_in_path ("nxterm");
		if (check == NULL)
		check = g_find_program_in_path ("color-xterm");

debian/patches/series

0 → 100644

+1 −0

Original line number	Diff line number	Diff line
		2001_prefer-x-terminal-emulator.patch