From 917d839cf760e19589d10b102ac91fd509cfbbf6 Mon Sep 17 00:00:00 2001 From: rycee Date: Sat, 18 Jan 2025 08:23:08 +0000 Subject: [PATCH] deploy: 1e36429705f9af2d00a517ba46a4f21ef8a8194f --- options.xhtml | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) diff --git a/options.xhtml b/options.xhtml index 21cce3820..e8bf0a594 100644 --- a/options.xhtml +++ b/options.xhtml @@ -45561,6 +45561,37 @@ string

Type: string

+

Declared by:

+ + +
+ +<home-manager/modules/programs/sbt.nix> + +
+ +
+ + programs.sbt.pluginsExtra + + +
+
+

A list of extra commands to put in plugins conf file. +Use it in last resort when you can’t use the plugins option.

+ +

Type: +list of string

+ +

Default: +[ ]

+ +

Example:

[
+  "addDependencyTreePlugin"
+]
+
+
+

Declared by: