1# Copyright 2014-2019 Free Software Foundation, Inc. 2 3# This program is free software; you can redistribute it and/or modify 4# it under the terms of the GNU General Public License as published by 5# the Free Software Foundation; either version 3 of the License, or 6# (at your option) any later version. 7# 8# This program is distributed in the hope that it will be useful, 9# but WITHOUT ANY WARRANTY; without even the implied warranty of 10# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 11# GNU General Public License for more details. 12# 13# You should have received a copy of the GNU General Public License 14# along with this program. If not, see <http://www.gnu.org/licenses/>. 15 16# Like local-remote-host-notty, but with readline/editing enabled. 17 18load_board_description "local-remote-host-notty" 19 20# Like standard_spawn, but force pseudo-tty allocation, with 'ssh -t'. 21 22proc ${board}_spawn { board cmd } { 23 global board_info 24 25 set remote [board_info $board hostname] 26 set username [board_info $board username] 27 set RSH [board_info $board rsh_prog] 28 29 spawn $RSH -t -l $username $remote $cmd 30 set board_info($board,fileid) $spawn_id 31 return $spawn_id 32} 33