ProtectedconfigProtecteddockerProtected ReadonlyloggerProtected ReadonlyonProtectedbuildOptionalargs: string[]copy files from local to remote
Dispose this object.
used for disposing when theia is shutting down
execute a single command on the remote machine
Optionalargs: string[]Optionaloptions: RemoteExecOptionsexecute a command on the remote machine and wait for a specific output
function which returns true if the output is as expected
Optionalargs: string[]Optionaloptions: RemoteExecOptionsOptionalport: numberProtectedgetProtectedshutdown
Builds a shell command string safe for use with
sh -c. Arguments are strong-quoted (single quotes) using BashQuotingFunctions so that no shell expansion occurs inside them.cmdis not escaped and must only contain trusted, internally-constructed values. All untrusted input must be passed viaargs.