diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-04-14 14:25:00 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-04-14 14:25:00 +0800 |
| commit | 48a3fa1c27d2b9722f60dfaf062a0c71075a74f3 (patch) | |
| tree | 5828d5973a908aa869be2fbaf7657bb8d1389eb4 /dev_tools | |
| parent | 031771110c53ff903046c47882b418a5b4936d5b (diff) | |
Add script support to run-tools utilities
The run-tools.ps1 and run-tools.sh scripts now support running both
Rust binaries and shell scripts. They check dev_tools/scripts first,
then dev_tools/src/bin. Also added a simple HTTP preview script.
Diffstat (limited to 'dev_tools')
| -rwxr-xr-x | dev_tools/scripts/http-page-preview.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dev_tools/scripts/http-page-preview.sh b/dev_tools/scripts/http-page-preview.sh new file mode 100755 index 0000000..6c822d8 --- /dev/null +++ b/dev_tools/scripts/http-page-preview.sh @@ -0,0 +1,3 @@ +#!/bin/bash +cd "docs" +python3 -m http.server 3000 |