From 98a403a42f48fdf1df1549b3369dcfe1d1076d0d Mon Sep 17 00:00:00 2001 From: Him188 Date: Mon, 11 Jan 2021 23:03:16 +0800 Subject: [PATCH] Update docs --- docs/Plugins.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/docs/Plugins.md b/docs/Plugins.md index 4d92de7a0..0e06d35dd 100644 --- a/docs/Plugins.md +++ b/docs/Plugins.md @@ -406,5 +406,13 @@ object MyData : AutoSavePluginData() { } ``` +### 打包插件 +若 [使用了 Mirai Console Gradle 插件](ConfiguringProjects.md#使用-gradle-插件配置项目), 执行 Gradle 任务 `buildPlugin` 即可在 `build/mirai/` 找到 JAR. 这个文件可以放入 Mirai Console `plugins` 目录中加载. + +若没有使用, 请打包插件并附带资源文件和所有依赖到一个单独的 JAR. + +### 发布插件到 mirai-console-loader +*TODO* + ### 附录:Java 插件的多线程调度器 - [`JavaPluginScheduler`] 拥有生命周期管理的简单 Java 线程池。其中所有的任务都会在插件被关闭时自动停止。 \ No newline at end of file