edirom/hoftheaterportal

Theatre Tool 镜像文档

镜像概述

Theatre Tool是一款由德国研究基金会（DFG）资助开发的Web应用，采用XQuery和JavaScript编写。该工具主要用于可视化、加载和搜索特定时间段内的档案信息（如剧院相关资料），支持Text Encoding Initiative (TEI)和Music Encoding Initiative (MEI)格式的信息编码，数据存储于XML数据库中。数据库结构和时间范围可通过属性文件进行自定义配置。

核心功能与特性

• 档案信息可视化：提供直观的档案数据展示功能
• 数据加载与搜索：支持特定时间段内档案信息的加载和检索
• 多格式支持：兼容TEI（文本编码倡议）和MEI（音乐编码倡议）格式
• XML数据库存储：采用XML数据库管理档案数据
• 可配置性：通过属性文件自定义数据库结构和时间范围

使用场景与适用范围

适用于需要管理、查询和可视化特定时间段内档案信息的场景，尤其是剧院研究、文化遗产管理、学术研究等领域，帮助用户高效获取和分析TEI/MEI格式的档案数据。

依赖项

Theatre Tool运行依赖以下组件：

• Jetty Application Server（最新版本）：<[***]>
• eXist-db（最新版本）：<[***]>
• Leaflet-0.7.3：开源JavaScript移动友好交互式地图库，<[***]>
• Verovio-toolkit-0-9-11：<[***]>
• edirom online：https://github.com/Edirom/Edirom-Online
• highlight：<[***]>
• ExtJS 4.2.1（GPL版本）：JavaScript框架，部分代码已包含在项目中，<[***]>
• 免费图标：来自<[]>和<[]>

许可证

Theatre Tool基于GNU GPL v.3开源许可证发布。

使用方法

基本部署步骤

1. 拉取镜像（假设镜像名称为theatre-tool）：

   bash
   docker pull theatre-tool
   

2. 运行容器：

   bash
   docker run -d \
     -p 8080:8080 \
     -v /path/to/property-files:/app/properties \
     --name theatre-tool-container \
     theatre-tool
   

   • -p 8080:8080：映射容器内Jetty服务器端口到主机
   • -v /path/to/property-files:/app/properties：挂载本地属性文件目录，用于自定义数据库结构和时间范围

3. 访问应用：在浏览器中访问http://localhost:8080/theatre-tool

配置说明

通过挂载的属性文件（位于/app/properties目录）可配置以下内容：

• 数据库连接参数
• 时间范围定义
• 数据加载规则
• 可视化展示设置

具体配置项需参考工具官方属性文件模板进行设置。