diff options
| author | Weicao-CatilGrass <1992414357@qq.com> | 2026-06-01 21:30:57 +0800 |
|---|---|---|
| committer | Weicao-CatilGrass <1992414357@qq.com> | 2026-06-01 21:30:57 +0800 |
| commit | a84bc4381574e1c54eedf0f1fd55c3643d91b3b1 (patch) | |
| tree | 9314b0626af2495d3f4b20875caaf6dc987984f6 | |
| parent | ffc16a84b33d30903ee77ee0d92f3c19f4aeaf18 (diff) | |
| -rwxr-xr-x | run-tools.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/run-tools.sh b/run-tools.sh index c80f9db..d50ca48 100755 --- a/run-tools.sh +++ b/run-tools.sh @@ -2,7 +2,7 @@ cd "$(dirname "$0")" || exit 1 -# 收集所有可用工具名称 +# Collect all available tool names tools=() if [ -d "dev_tools/scripts" ]; then @@ -35,7 +35,7 @@ fi target_bin="$1" -# 检查是否输入的是数字 +# Check if input is a number if [[ "$target_bin" =~ ^[0-9]+$ ]]; then idx=$((target_bin - 1)) if [ "$idx" -ge 0 ] && [ "$idx" -lt "${#tools[@]}" ]; then |