# -*- coding: utf-8 -*- """一次性对齐:把文档里的 30.77ms 改成 ≈31ms(装配耗时随运行波动,精确值在 json)。""" import os TARGETS = [ "README_DIFF0_20261031.md", "AGENT_FEED_DIFF0_20261031.md", "docs/cookbooks.md", "cookbooks/03_offline_deploy_old_laptop/README.md", "snapshot/SNAPSHOT.md", ] ROOT = os.path.dirname(os.path.dirname(os.path.abspath(__file__))) REPL = [ ("30.77ms", "≈31ms"), ("30.77 ms", "≈31 ms"), ("30.77", "≈31"), ] for rel in TARGETS: p = os.path.join(ROOT, rel) if not os.path.exists(p): print("skip(missing)", rel) continue with open(p, encoding="utf-8") as fh: s = fh.read() old = s for a, b in REPL: s = s.replace(a, b) if s != old: with open(p, "w", encoding="utf-8", newline="\n") as fh: fh.write(s) print("patched", rel) else: print("unchanged", rel)