diff options
| -rw-r--r-- | src/main.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main.rs b/src/main.rs index 8f2cec4..830fba0 100644 --- a/src/main.rs +++ b/src/main.rs | |||
| @@ -778,8 +778,9 @@ async fn machine_run( | |||
| 778 | stdin: Option<&str>, | 778 | stdin: Option<&str>, |
| 779 | ) -> Result<Output> { | 779 | ) -> Result<Output> { |
| 780 | let ssh_common = &[ | 780 | let ssh_common = &[ |
| 781 | "-vvv", | ||
| 781 | "-o", | 782 | "-o", |
| 782 | "ConnectionAttempts=3", | 783 | "ConnectionAttempts=10", |
| 783 | "-o", | 784 | "-o", |
| 784 | "StrictHostKeyChecking=no", | 785 | "StrictHostKeyChecking=no", |
| 785 | "-o", | 786 | "-o", |