From ab6e141fdaa955f09cd9be797f57e42611120fe4 Mon Sep 17 00:00:00 2001 From: rycee Date: Thu, 18 Sep 2025 14:57:05 +0000 Subject: [PATCH] deploy: b5698ed57db7ee7da5e93df2e6bbada91c88f3ce --- options.xhtml | 91 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 91 insertions(+) diff --git a/options.xhtml b/options.xhtml index 07b836d75..1b6be70a9 100644 --- a/options.xhtml +++ b/options.xhtml @@ -62691,6 +62691,97 @@ attribute set of (string or signed integer or boolean)

+
+ + programs.retext.enable + + +
+
+

Whether to enable retext.

+ +

Type: +boolean

+ +

Default: +false

+ +

Example: +true

+ +

Declared by:

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

The retext package to use.

+ +

Type: +null or package

+ +

Default: +pkgs.retext

+ +

Declared by:

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

Configuration settings for retext. All the available options can be found +here: https://github.com/retext-project/retext/blob/master/configuration.md.

+ +

Type: +attribute set of section of an INI file (attrs of INI atom (null, bool, int, float or string))

+ +

Default: +{ }

+ +

Example:

{
+  ColorScheme = {
+    htmlComments = "#abc";
+    htmlSymbols = "#ff8800";
+    htmlTags = "green";
+  };
+  General = {
+    documentStatsEnabled = true;
+    lineNumbersEnabled = true;
+    relativeLineNumbers = true;
+    useWebEngine = true;
+  };
+}
+
+ +

Declared by:

+ + +
+ +<home-manager/modules/programs/retext.nix> + +
+
programs.rio.enable