|
@@ -121,11 +121,28 @@ const ClipboardWindow : PClipboardWindow = nil;
|
|
|
|
|
|
{$ifdef SUPPORT_REMOTE}
|
|
|
RemoteMachine : string = '';
|
|
|
+ RemotePuttySession : string = '';
|
|
|
RemotePort : string = '2345';
|
|
|
RemoteConfig : string = '';
|
|
|
RemoteIdent : string = '';
|
|
|
RemoteDir : string = '';
|
|
|
- RemoteSendCommand : string = 'scp $CONFIG $IDENT $LOCALFILE $REMOTEMACHINE:$REMOTEDIR';
|
|
|
+ RemoteGDBServer : string = 'gdbserver';
|
|
|
+{$ifdef Windows}
|
|
|
+ RemoteCopy : string = 'pscp.exe';
|
|
|
+ RemoteShell : string = 'plink.exe';
|
|
|
+{$else not windows}
|
|
|
+ RemoteCopy : string = 'scp';
|
|
|
+ RemoteShell : string = 'ssh';
|
|
|
+{$endif not windows}
|
|
|
+
|
|
|
+ RemoteSendCommand : string =
|
|
|
+ '$REMOTECOPY $CONFIG $IDENT $LOCALFILE $REMOTEMACHINE:$REMOTEDIR';
|
|
|
+ RemoteExecCommand : string =
|
|
|
+ '"cd $REMOTEDIR; chmod u+x ./$LOCALFILENAME;'+
|
|
|
+ ' $REMOTEGDBSERVER :$REMOTEPORT ./$LOCALFILENAME"';
|
|
|
+ RemoteSshExecCommand : string =
|
|
|
+ '$START $REMOTESHELL $CONFIG $IDENT -L $REMOTEPORT:localhost:$REMOTEPORT $REMOTEMACHINE '+
|
|
|
+ '"$REMOTEEXECCOMMAND" $DOITINBACKGROUND';
|
|
|
{$endif SUPPORT_REMOTE}
|
|
|
|
|
|
DebuggeeTTY : string = '';
|