oscarlevin/pretext

PreTeXt文档开发环境镜像

概述

用于使用PreTeXt构建文档的开发环境集合，主要用作GitHub Codespaces设置的一部分，提供多种标签以适配不同的文档构建需求。

核心功能与特性

• 多标签支持：
  • latest/small：包含基础LaTeX工具，足以构建基本文档
  • full：支持更复杂的图像生成需求
  • lite：仅适用于生成Web版本文档且无需处理图像生成的场景

使用场景与适用范围

• 基础文档构建：当需要构建简单PreTeXt文档时，选择latest/small标签
• 复杂图像生成：若文档包含需生成的复杂图像，使用full标签
• Web版本文档：仅需生成Web格式文档且无图像生成需求时，选用lite标签
• GitHub Codespaces集成：主要用于GitHub Codespaces的开发环境配置

使用方法与配置说明

镜像标签选择

根据具体需求选择对应标签：

• 基础文档：docker pull [镜像名]:latest 或 docker pull [镜像名]:small
• 复杂图像：docker pull [镜像名]:full
• Web版本：docker pull [镜像名]:lite

GitHub Codespaces配置

在GitHub Codespaces中使用时，可在.devcontainer/devcontainer.json中指定镜像：

json
{
  "image": "[镜像名]:latest" // 根据需求替换标签
}

本地Docker运行示例

• 基础文档构建：

  bash
  docker run -it --rm [镜像名]:latest
  

• 复杂图像生成：

  bash
  docker run -it --rm [镜像名]:full
  

• Web版本文档：

  bash
  docker run -it --rm [镜像名]:lite
  

注：[镜像名]需替换为实际的Docker镜像名称。