diff options
| -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 |