From b4c9e6e451e41f73a18a4fd30f07c35f1f42e269 Mon Sep 17 00:00:00 2001 From: lixinyu Date: Wed, 6 Aug 2025 11:07:40 +0800 Subject: [PATCH] docs: add a doc brower script * we make doc html and need brower it easily Signed-off-by: lixinyu --- docs/brower.py | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 docs/brower.py diff --git a/docs/brower.py b/docs/brower.py new file mode 100644 index 00000000000..0b5905e0749 --- /dev/null +++ b/docs/brower.py @@ -0,0 +1,36 @@ +#!/usr/bin/env python3 +import argparse +from http.server import HTTPServer, SimpleHTTPRequestHandler +import os + +def run_server(port, directory): + # 切换到指定目录 + os.chdir(directory) + + # 创建服务器 + server_address = ('', port) + httpd = HTTPServer(server_address, SimpleHTTPRequestHandler) + + print(f"Serving directory '{directory}' at http://localhost:{port}") + print("Press Ctrl+C to stop the server.") + + try: + httpd.serve_forever() + except KeyboardInterrupt: + print("\nServer stopped.") + +if __name__ == '__main__': + parser = argparse.ArgumentParser(description='Simple Python Web Server') + parser.add_argument('-p', '--port', type=int, default=8000, + help='Port to serve on (default: 8000)') + parser.add_argument('-d', '--directory', type=str, default='build/html', + help='Directory to serve (default: current directory)') + + args = parser.parse_args() + + # 检查目录是否存在 + if not os.path.isdir(args.directory): + print(f"Error: Directory '{args.directory}' does not exist.") + exit(1) + + run_server(args.port, args.directory) -- Gitee