diff options
| author | Johannes Schauer Marin Rodrigues <josch@mister-muffin.de> | 2023-09-24 00:39:48 +0200 |
|---|---|---|
| committer | Johannes Schauer Marin Rodrigues <josch@mister-muffin.de> | 2023-09-24 00:39:48 +0200 |
| commit | 73a4050552c2f2c620362beb6f9fd7ca86b9377c (patch) | |
| tree | eabd42a2b60525f93187ca0c9242c052eb4203cc | |
| parent | 88afd5041a1739be866f0b0de7814ff505507147 (diff) | |
| download | debvm-73a4050552c2f2c620362beb6f9fd7ca86b9377c.tar.gz | |
bin/debvm-waitssh: make --timeout=N work
| -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#*=}" ;; *) |