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