From 216d954a06230eb1d2ce72bd2f5afe0cc28dedfc Mon Sep 17 00:00:00 2001
From: David Schroeder <david@schroedercity.com>
Date: Tue, 3 Jun 2025 20:57:22 -0500
Subject: [PATCH] Update default.inc

---
 default.inc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/default.inc b/default.inc
index 41e0efe..88bfaea 100755
--- a/default.inc
+++ b/default.inc
@@ -1,5 +1,7 @@
 #!/usr/bin/env bash
 
+SSHCMD='ssh -tq -o ConnectTimeout=3 -o ConnectionAttempts=1'
+
 do_with_root() {
     if [[ `whoami` = 'root' ]]; then
         $*