download_katex.bat 1.0 KB

123456789101112131415161718192021222324252627282930313233343536
  1. @echo off
  2. REM 下载 KaTeX 到 assets 目录的脚本 (Windows)
  3. set KATEX_VERSION=0.16.9
  4. set KATEX_URL=https://github.com/KaTeX/KaTeX/releases/download/v%KATEX_VERSION%/katex.zip
  5. set ASSETS_DIR=app\src\main\assets
  6. echo 正在下载 KaTeX v%KATEX_VERSION%...
  7. REM 创建临时目录
  8. set TEMP_DIR=%TEMP%\katex_download
  9. mkdir "%TEMP_DIR%" 2>nul
  10. cd /d "%TEMP_DIR%"
  11. REM 下载 KaTeX (需要 PowerShell)
  12. powershell -Command "Invoke-WebRequest -Uri '%KATEX_URL%' -OutFile 'katex.zip'"
  13. REM 解压 (需要 PowerShell)
  14. powershell -Command "Expand-Archive -Path 'katex.zip' -DestinationPath '.' -Force"
  15. REM 创建目标目录
  16. mkdir "%~dp0%ASSETS_DIR%\katex" 2>nul
  17. REM 复制需要的文件
  18. copy /Y "katex\katex.min.css" "%~dp0%ASSETS_DIR%\katex\"
  19. copy /Y "katex\katex.min.js" "%~dp0%ASSETS_DIR%\katex\"
  20. xcopy /E /I /Y "katex\fonts" "%~dp0%ASSETS_DIR%\katex\fonts\"
  21. REM 清理
  22. cd /d "%~dp0"
  23. rmdir /S /Q "%TEMP_DIR%"
  24. echo KaTeX 已成功下载到 %ASSETS_DIR%\katex\
  25. dir "%ASSETS_DIR%\katex\"
  26. pause