Searched refs:WHICH_XTERM (Results 1 – 2 of 2) sorted by relevance
45 : ${WHICH_XTERM=xterm-new}57 if test "$WHICH_XTERM" != "xterm-new" ; then58 echo "** using $WHICH_XTERM terminal description for XTerm entry" >&261 s/use=xterm-new,/use=$WHICH_XTERM,/
23 WHICH_XTERM=xterm-new \