From 20fea85ca3fcce0cc8d10700aae609657bb51df3 Mon Sep 17 00:00:00 2001 From: khaneliman Date: Sat, 22 Feb 2025 16:23:53 +0000 Subject: [PATCH] deploy: 4949081d1ee37ebb1ca9fbef289955d85aace405 --- options.xhtml | 85 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 85 insertions(+) diff --git a/options.xhtml b/options.xhtml index a31641b63..94d699045 100644 --- a/options.xhtml +++ b/options.xhtml @@ -31774,6 +31774,91 @@ submodule

+
+ + programs.jqp.enable + + +
+
+

Whether to enable jqp, jq playground.

+ +

Type: +boolean

+ +

Default: +false

+ +

Example: +true

+ +

Declared by:

+ + +
+ +<home-manager/modules/programs/jqp.nix> + +
+
+
+ + programs.jqp.package + + +
+
+

The jqp package to use.

+ +

Type: +package

+ +

Default: +pkgs.jqp

+ +

Declared by:

+ + +
+ +<home-manager/modules/programs/jqp.nix> + +
+
+
+ + programs.jqp.settings + + +
+
+

Jqp configuration

+ +

Type: +YAML value

+ +

Default: +{ }

+ +

Example:

{
+  theme = {
+    chromaStyleOverrides = {
+      kc = "#009900 underline";
+    };
+    name = "monokai";
+  };
+}
+
+ +

Declared by:

+ + +
+ +<home-manager/modules/programs/jqp.nix> + +
+
programs.jujutsu.enable