rsh_exec procedure (DejaGnu)

Next: ssh_close procedure, Previous: rsh_upload procedure, Up: Procedures For Using Utilities to Connect [Contents][Index]

rsh_exec procedure

rsh_exec Procedure

rsh_exec boardname cmd args

boardname
cmd
args