SITL: use (larger!) font6 as default xterm font

This commit is contained in:
Peter Barker 2016-01-11 11:42:07 +11:00
parent 6e418c2cf5
commit f9f6cbaf9e

View File

@ -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