From a84bc4381574e1c54eedf0f1fd55c3643d91b3b1 Mon Sep 17 00:00:00 2001 From: Weicao-CatilGrass <1992414357@qq.com> Date: Mon, 1 Jun 2026 21:30:57 +0800 Subject: Translate Chinese comments to English in run-tools.sh --- run-tools.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'run-tools.sh') 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 -- cgit