From dc501290f7b25b72edf8c67555b5604ac5fc8a59 Mon Sep 17 00:00:00 2001
From: 魏曹先生 <1992414357@qq.com>
Date: Sat, 11 Apr 2026 22:28:26 +0800
Subject: Add dev tools to generate example documentation

---
 run-tools.sh | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100755 run-tools.sh

(limited to 'run-tools.sh')

diff --git a/run-tools.sh b/run-tools.sh
new file mode 100755
index 0000000..7bfcd29
--- /dev/null
+++ b/run-tools.sh
@@ -0,0 +1,27 @@
+#!/bin/bash
+
+cd "$(dirname "$0")" || exit 1
+
+if [ $# -eq 0 ]; then
+    echo "Available:"
+    if [ -d "dev_tools/src/bin" ]; then
+        for file in dev_tools/src/bin/*.rs; do
+            if [ -f "$file" ]; then
+                basename "$file" .rs
+            fi
+        done
+    else
+        echo "Warning: dev_tools/src/bin directory does not exist"
+    fi
+    exit 1
+fi
+
+target_bin="$1"
+target_file="dev_tools/src/bin/${target_bin}.rs"
+
+if [ ! -f "$target_file" ]; then
+    echo "Error: target file '$target_file' does not exist"
+    exit 1
+fi
+
+cargo run --manifest-path dev_tools/Cargo.toml --bin "$1"
-- 
cgit