From c421d55d1994e45f323efc5729fdb713a5ddef4c Mon Sep 17 00:00:00 2001 From: khaneliman Date: Tue, 13 May 2025 03:18:41 +0000 Subject: [PATCH] deploy: 665c49e0c2982d94f30a9826712850a59f70eeb4 --- options.xhtml | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/options.xhtml b/options.xhtml index 514efcfcd..91162cec4 100644 --- a/options.xhtml +++ b/options.xhtml @@ -29290,6 +29290,30 @@ boolean

Example: true

+

Declared by:

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

The gnome-terminal package to use.

+ +

Type: +null or package

+ +

Default: +pkgs.gnome-terminal

+

Declared by: