From f35b0463598e349d39352a86a722c65da5bbca0f Mon Sep 17 00:00:00 2001 From: Martin Pulec Date: Wed, 15 Nov 2023 09:38:54 +0100 Subject: [PATCH] data/make_man.sh: fixed missing getopts shift removed accidentally by 7c0bd41b Now it is shifted after the while-loop (not `shift` in every while iteration) - should behave the same but this is canonical according to getopts man (w/o needless '$' before OPTIND). --- data/make_man.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/data/make_man.sh b/data/make_man.sh index 13d4ca8b5..a9fbcc999 100755 --- a/data/make_man.sh +++ b/data/make_man.sh @@ -189,6 +189,7 @@ while getopts dhkn name; do ;; esac done +shift $((OPTIND - 1)) if [ $# -eq 0 ]; then usage