diff --git a/Tools/autotest/run_in_terminal_window.sh b/Tools/autotest/run_in_terminal_window.sh index 0948d7970e..7d26b24363 100755 --- a/Tools/autotest/run_in_terminal_window.sh +++ b/Tools/autotest/run_in_terminal_window.sh @@ -8,7 +8,7 @@ shift echo "Starting $name : $*" # default to xterm as it has the most consistent options and can start minimised if [ -n "$DISPLAY" -a -x /usr/bin/xterm ]; then - /usr/bin/xterm -iconic -xrm 'XTerm*selectToClipboard: true' -n "$name" -name "$name" -T "$name" -hold -e $* & + /usr/bin/xterm -iconic -xrm 'XTerm*selectToClipboard: true' -xrm 'XTerm*initialFont: 6' -n "$name" -name "$name" -T "$name" -hold -e $* & elif [ -n "$DISPLAY" -a -x /usr/bin/konsole ]; then /usr/bin/konsole --hold -e $* elif [ -n "$DISPLAY" -a -x /usr/bin/gnome-terminal ]; then