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 $*