diff options
author | Helmut Grohne <helmut@subdivi.de> | 2023-03-19 19:48:29 +0100 |
---|---|---|
committer | Helmut Grohne <helmut@subdivi.de> | 2023-03-19 19:48:29 +0100 |
commit | c14496eabe153f9b8a5642be41ef74fdc4813d79 (patch) | |
tree | ebe698eebff76fe184d578431fff7ffe8c0f7ed7 /bin/debvm-waitssh | |
parent | 2c9352db76bf2bbb32ccbe2dc2a929c8e65a453b (diff) | |
download | debvm-c14496eabe153f9b8a5642be41ef74fdc4813d79.tar.gz |
debvm-waitssh: improve comment about character ranges
Reported-by: Jakub Wilk <jwilk@debian.org>
Diffstat (limited to 'bin/debvm-waitssh')
-rwxr-xr-x | bin/debvm-waitssh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/debvm-waitssh b/bin/debvm-waitssh index 82eb14d..2b843a5 100755 --- a/bin/debvm-waitssh +++ b/bin/debvm-waitssh @@ -151,8 +151,8 @@ case "$HOST" in *@*) # Guard against strings containing anything but digits, strings starting with # zero and empty strings as the port number. # -# We cannot use [!0-9] because that matches on any character (or possibly -# multi-character collation element) that sorts in between 0 and 9. +# In some locales, [0-9] can match other kinds of digits, see +# https://unix.stackexchange.com/a/414230/46985. case "$PORT" in *[!0123456789]*|0?*|""|??????*) die "$0: port '$PORT' is not an integer between 1 and 65535" ;; esac |