diff options
| author | Helmut Grohne <helmutg@debian.org> | 2023-09-24 05:23:47 +0000 |
|---|---|---|
| committer | Helmut Grohne <helmutg@debian.org> | 2023-09-24 05:23:47 +0000 |
| commit | 6d5dda939841468467eaee7a3271a8c3b7462e12 (patch) | |
| tree | eabd42a2b60525f93187ca0c9242c052eb4203cc | |
| parent | 88afd5041a1739be866f0b0de7814ff505507147 (diff) | |
| parent | 73a4050552c2f2c620362beb6f9fd7ca86b9377c (diff) | |
| download | debvm-6d5dda939841468467eaee7a3271a8c3b7462e12.tar.gz | |
Merge branch 'waitssh-timeout' into 'main'
bin/debvm-waitssh: make --timeout=N work
See merge request helmutg/debvm!38
| -rwxr-xr-x | bin/debvm-waitssh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/debvm-waitssh b/bin/debvm-waitssh index 2b843a5..199903f 100755 --- a/bin/debvm-waitssh +++ b/bin/debvm-waitssh @@ -107,7 +107,7 @@ while getopts :qt:-: OPTCHAR; do "opt_$OPTARG" "$(nth_arg "$OPTIND" "$@")" OPTIND=$((OPTIND+1)) ;; - timeout=) + timeout=*) "opt_${OPTARG%%=*}" "${OPTARG#*=}" ;; *) |