fix: reject extra roadmap helper paths (#3173)
This commit is contained in:
parent
f11ac23e1f
commit
193f11171a
|
|
@ -11,6 +11,7 @@ set -euo pipefail
|
||||||
|
|
||||||
MIN_ID=723
|
MIN_ID=723
|
||||||
ROADMAP="ROADMAP.md"
|
ROADMAP="ROADMAP.md"
|
||||||
|
ROADMAP_PATH_SEEN=0
|
||||||
|
|
||||||
while [[ $# -gt 0 ]]; do
|
while [[ $# -gt 0 ]]; do
|
||||||
case "$1" in
|
case "$1" in
|
||||||
|
|
@ -31,7 +32,12 @@ while [[ $# -gt 0 ]]; do
|
||||||
exit 2
|
exit 2
|
||||||
;;
|
;;
|
||||||
*)
|
*)
|
||||||
|
if [[ "$ROADMAP_PATH_SEEN" -ne 0 ]]; then
|
||||||
|
echo "error: unexpected extra ROADMAP path: $1" >&2
|
||||||
|
exit 2
|
||||||
|
fi
|
||||||
ROADMAP="$1"
|
ROADMAP="$1"
|
||||||
|
ROADMAP_PATH_SEEN=1
|
||||||
shift
|
shift
|
||||||
;;
|
;;
|
||||||
esac
|
esac
|
||||||
|
|
|
||||||
|
|
@ -18,6 +18,7 @@
|
||||||
set -euo pipefail
|
set -euo pipefail
|
||||||
|
|
||||||
ROADMAP="ROADMAP.md"
|
ROADMAP="ROADMAP.md"
|
||||||
|
ROADMAP_PATH_SEEN=0
|
||||||
|
|
||||||
while [[ $# -gt 0 ]]; do
|
while [[ $# -gt 0 ]]; do
|
||||||
case "$1" in
|
case "$1" in
|
||||||
|
|
@ -30,7 +31,12 @@ while [[ $# -gt 0 ]]; do
|
||||||
exit 2
|
exit 2
|
||||||
;;
|
;;
|
||||||
*)
|
*)
|
||||||
|
if [[ "$ROADMAP_PATH_SEEN" -ne 0 ]]; then
|
||||||
|
echo "error: unexpected extra ROADMAP path: $1" >&2
|
||||||
|
exit 2
|
||||||
|
fi
|
||||||
ROADMAP="$1"
|
ROADMAP="$1"
|
||||||
|
ROADMAP_PATH_SEEN=1
|
||||||
shift
|
shift
|
||||||
;;
|
;;
|
||||||
esac
|
esac
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue