Add an option to execute additional commands before GDB when using SSH

Closes #15
This commit is contained in:
Baptist BENOIST 2016-02-10 21:27:26 +01:00
commit d6ee383e75
2 changed files with 4 additions and 1 deletions

View file

@ -24,6 +24,7 @@ export interface SSHArguments {
remotex11screen: number;
x11port: number;
x11host: string;
bootstrap: string;
}
export interface IBackend {