set a real pty for sending ssh commands

Author: facchinm

arduino-core/src/cc/arduino/packages/ssh/SSH.java

@@ -58,6 +58,9 @@ public boolean execSyncCommand(String command, PrintStream stdoutConsumer, Print
     try {
       channel = session.openChannel("exec");
       ((ChannelExec) channel).setCommand(command);
+      ((ChannelExec) channel).setAgentForwarding(true);
+      ((ChannelExec) channel).setPty(true);
+      ((ChannelExec) channel).setPtyType( "xterm" );
 
       channel.setInputStream(null);