Update default.inc

2025-06-03 20:57:22 -05:00
parent 5e4b10b1f1
commit 216d954a06
1 changed files with 2 additions and 0 deletions
--- 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
        $*