From 2d3a4465e60b1e38d5b37e0ae256f616384a54fc Mon Sep 17 00:00:00 2001 From: khaneliman Date: Fri, 11 Jul 2025 03:02:28 +0000 Subject: [PATCH] deploy: fab659b346c0d4252208434c3c4b3983a4b38fec --- options.xhtml | 95 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 95 insertions(+) diff --git a/options.xhtml b/options.xhtml index e7c5d3d55..ac88ab843 100644 --- a/options.xhtml +++ b/options.xhtml @@ -69474,6 +69474,101 @@ TOML value

+
+ + programs.trippy.enable + + +
+
+

Whether to enable trippy.

+ +

Type: +boolean

+ +

Default: +false

+ +

Example: +true

+ +

Declared by:

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

The trippy package to use.

+ +

Type: +null or package

+ +

Default: +pkgs.trippy

+ +

Declared by:

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

Configuration settings for trippy. All the available options can be found +here: https://trippy.rs/reference/configuration/

+ +

Type: +TOML value

+ +

Default: +{ }

+ +

Example:

{
+  bindings = {
+    toggle-help = "h";
+    toggle-help-alt = "?";
+    toggle-settings = "s";
+    toggle-settings-dns = "3";
+    toggle-settings-geoip = "4";
+    toggle-settings-trace = "2";
+    toggle-settings-tui = "1";
+  };
+  theme-colors = {
+    bg-color = "black";
+    border-color = "gray";
+    tab-text-color = "green";
+    text-color = "gray";
+  };
+}
+
+ +

Declared by:

+ + +
+ +<home-manager/modules/programs/trippy.nix> + +
+
programs.twitch-tui.enable