sbt-revolver 使用与技术文档
1. 安装指南
sbt-revolver 是一款为 SBT 提供的插件,能够为您的 Scala 应用程序实现超快速的开发周转。
要安装 sbt-revolver,您需要在项目中的 project/plugins.sbt 文件中添加以下依赖:
addSbtPlugin("io.spray" % "sbt-revolver" % "0.10.0")
sbt-revolver 是一个自动插件,因此您无需在 build.sbt 或 Build.scala 中进行额外配置即可使用。在多模块构建中,它将为每个模块启用。若要在某些子模块中禁用 sbt-revolver,请在构建文件中使用 Project(...).disablePlugins(RevolverPlugin)。
对于较旧的 SBT 版本,请查看版本 0.9.1。
2. 项目使用说明
sbt-revolver 在其自己的 re 配置中定义了三个新的命令(SBT 任务):
-
reStart <args> --- <jvmArgs>:在后台的交互式 SBT shell(在一个独立的 JVM 中)启动您的应用程序。可选的 JVM 参数将附加到通过reStartArgs/reStart::javaOptions设置配置的参数后面。如果应用程序已经在运行,它将首先停止,然后重新启动。 -
reStop:停止应用程序。这是通过强制终止分叉的 JVM 来完成的。请注意,这意味着 shutdown hooks 将不会被运行。 -
reStatus:显示有关应用程序当前运行状态的信息。
触发重启
您可以使用 ~reStart 进入“触发重启”模式。应用程序启动后,SBT 会监视您的源(或资源)文件的变化。如果检测到变化,SBT 将重新编译所需的类,并且 sbt-revolver 会自动重新启动您的应用程序。当您按下 <ENTER> 时,SBT 会退出“触发重启”模式并返回到正常提示符,同时保持您的应用程序运行。
要自定义哪些文件应触发重启,请参阅 SBT 文档中的 Triggered Execution。
3. 项目API使用文档
本项目主要提供以下API:
reStart <args> --- <jvmArgs>:启动应用程序reStop:停止应用程序reStatus:查看应用程序状态
更多详细配置和使用方式,请参考下文。
4. 项目安装方式
请参考上文“安装指南”部分。
以下是关于项目配置的详细信息:
配置
以下是由 sbt-revolver 定义的可能感兴趣的 SBT 设置:
reStartArgs:允许您定义每次启动时sbt-revolver应传递给您的应用程序的参数。reStart / mainClass:允许您为reStart定义一个主类,独立于正常运行项目时设置的主类。reStart / javaOptions:允许您定义传递给分叉 JVM 的选项。reStart / baseDirectory:允许您独立于run设置的目录自定义基本目录。reStart / fullClasspath:允许您自定义用于运行的完整类路径。reStart / envVars:允许您自定义运行应用程序时的环境变量。reJrebelJar:允许您覆盖JREBEL_PATH环境变量的值。reColors:允许您更改用于标记运行进程输出的颜色。reLogTag:允许您更改日志消息前的日志标签。debugSettings:允许您指定远程调试器设置。
示例
-
设置应用程序的 2 GB 内存限制:
reStart / javaOptions += "-Xmx2g" -
为
reStart设置特殊的主类:reStart / mainClass := Some("com.example.Main") -
设置固定的启动参数:
reStartArgs := Seq("-x") -
启用调试:
Revolver.enableDebugging(port = 5050, suspend = true) -
更改用于标记输出的颜色:
reColors := Seq("blue", "green", "magenta") -
添加环境变量:
reStart / envVars := Map("USER_TOKEN" -> "2359298356239")
热重载
注意:sbt-revolver 中对 JRebel 的支持已不再积极维护。
如果您已安装 JRebel,可以通过设置 Revolver.jRebelJar 在 SBT 配置中告知 sbt-revolver jrebel.jar 的位置,或者通过名为 JREBEL_PATH 的环境变量来设置(这是推荐的方式,因为它不会在您的 SBT 配置中污染系统特定的设置)。
使用 JRebel,sbt-revolver 支持热重载:
-
使用
reStart启动应用程序。 -
使用
~products进入“触发编译”模式。SBT 会监视您的源(和资源)文件的变化。如果检测到变化,SBT 会重新编译所需的类,JRebel 会将更改的类直接加载到运行中的应用程序中。由于应用程序没有重新启动,因此将更改实时生效所需的时间是最小的。当您按下<ENTER>时,SBT 会退出“触发编译”模式并返回到正常提示符,同时保持应用程序运行。 -
如果您以需要完全重启的方式更改了应用程序,请按
<ENTER>退出“触发编译”模式并使用reStart。 -
当然,您随时可以使用
reStop停止应用程序。
本项目遵循 APL 2.0 许可。欢迎提供反馈和贡献,但补丁必须来自原始作者,并且作者需要声明补丁是原创作品,并按照项目的开源许可将其授权给 sbt-revolver 项目。
ERNIE-4.5-VL-28B-A3B-ThinkingERNIE-4.5-VL-28B-A3B-Thinking 是 ERNIE-4.5-VL-28B-A3B 架构的重大升级,通过中期大规模视觉-语言推理数据训练,显著提升了模型的表征能力和模态对齐,实现了多模态推理能力的突破性飞跃Python00
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
MiniMax-M2MiniMax-M2是MiniMaxAI开源的高效MoE模型,2300亿总参数中仅激活100亿,却在编码和智能体任务上表现卓越。它支持多文件编辑、终端操作和复杂工具链调用Python00
HunyuanVideo-1.5暂无简介00
MiniCPM-V-4_5MiniCPM-V 4.5 是 MiniCPM-V 系列中最新且功能最强的模型。该模型基于 Qwen3-8B 和 SigLIP2-400M 构建,总参数量为 80 亿。与之前的 MiniCPM-V 和 MiniCPM-o 模型相比,它在性能上有显著提升,并引入了新的实用功能Python00
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00
GOT-OCR-2.0-hf阶跃星辰StepFun推出的GOT-OCR-2.0-hf是一款强大的多语言OCR开源模型,支持从普通文档到复杂场景的文字识别。它能精准处理表格、图表、数学公式、几何图形甚至乐谱等特殊内容,输出结果可通过第三方工具渲染成多种格式。模型支持1024×1024高分辨率输入,具备多页批量处理、动态分块识别和交互式区域选择等创新功能,用户可通过坐标或颜色指定识别区域。基于Apache 2.0协议开源,提供Hugging Face演示和完整代码,适用于学术研究到工业应用的广泛场景,为OCR领域带来突破性解决方案。00