Table of Contents
Deder Plugins 🔗
Official plugins for the Deder build tool.
Using a Plugin 🔗
Add a plugin to your deder.pkl by importing its config, and adding it in the plugins listing:
import "https://sake92.github.io/deder-plugins/config/deder-web-dashboard/early-access/WebDashboardPlugin.pkl" as WD
plugins {
new WD.WebDashboardPlugin {
// version = "1.2.3" // optionally override version
config { // most plugins have some config
}
}
}
Versioned schemas are published automatically for every git tag.
Each plugin also has an examples/ folder in this GitHub repository.
Available Plugins 🔗
| Plugin | Schema |
|---|---|
| Build Info | early-access |
Generates a Scala BuildInfo object with metadata. |
|
| Protobuf | early-access |
Generates protobuf and gRPC code from .proto files. |
|
| Web Dashboard | early-access |
| Embedded HTTP dashboard with module info and live stats. | |
| TUI Dashboard | — |
| Terminal-based dashboard that polls the Web Dashboard API. | |
| Sourcegen | early-access |
| Generates source code from user-written Scala scripts. |