dsh-plain-plugin-menu

配置

组合包在 cordis.patch.yml 中提供默认配置：

- insert:
    - id: plain-plugin-menu
      name: dsh-plain-plugin-menu
      config:
        profile: web
        catalogTtlMinutes: 15
        githubPages: 10
        operationTimeoutMinutes: 15

字段均由 Schemastery schema 校验：

• profile：要管理的 DSH profile，默认 web。
• catalogTtlMinutes：公开目录缓存时长，1–1440 分钟。
• githubPages：每次最多读取多少页 GitHub topic 搜索结果，1–10 页，每页 100 条。
• operationTimeoutMinutes：安装或卸载超时，1–60 分钟。

需要改变时，在 profile 自己的 cordis.patch.yml 中按同一 id 覆盖整行配置。DSH patch 会替换整个 config，不会深度合并，所以请重述全部字段。

可选环境变量 GITHUB_TOKEN 用于提高 GitHub API 额度。插件只把它放在对 GitHub 的 Authorization 请求头中，不会送到浏览器。