aboutsummaryrefslogtreecommitdiff
path: root/run-tools.sh
diff options
context:
space:
mode:
Diffstat (limited to 'run-tools.sh')
-rwxr-xr-xrun-tools.sh4
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