From fb1c99a54389f1c8e8735594426e0b44ab9ebf44 Mon Sep 17 00:00:00 2001 From: rycee Date: Mon, 6 May 2024 08:56:22 +0000 Subject: [PATCH] deploy: 6ebe7be2e67be7b9b54d61ce5704f6fb466c536f --- options.xhtml | 194 ++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 194 insertions(+) diff --git a/options.xhtml b/options.xhtml index 0c4a7d1bb..f44f37503 100644 --- a/options.xhtml +++ b/options.xhtml @@ -22017,6 +22017,200 @@ path or strings concatenated with “\n”

+
+ + programs.gnome-shell.enable + + +
+
+

Whether to enable GNOME Shell customization.

+ +

Type: +boolean

+ +

Default: +false

+ +

Example: +true

+ +

Declared by:

+ + +
+ +<home-manager/modules/programs/gnome-shell.nix> + +
+
+
+ + programs.gnome-shell.extensions + + +
+
+

List of GNOME Shell extensions.

+ +

Type: +list of (submodule)

+ +

Default: +[ ]

+ +

Example:

[
+  { package = pkgs.gnomeExtensions.dash-to-panel; }
+  {
+    id = "user-theme@gnome-shell-extensions.gcampax.github.com";
+    package = pkgs.gnome.gnome-shell-extensions;
+  }
+]
+
+
+ +

Declared by:

+ + +
+ +<home-manager/modules/programs/gnome-shell.nix> + +
+
+
+ + programs.gnome-shell.extensions.*.package + + +
+
+

Package providing a GNOME Shell extension in +$out/share/gnome-shell/extensions/${id}.

+ +

Type: +package

+ +

Example: +"pkgs.gnome.gnome-shell-extensions"

+ +

Declared by:

+ + +
+ +<home-manager/modules/programs/gnome-shell.nix> + +
+
+
+ + programs.gnome-shell.extensions.*.id + + +
+
+

ID of the GNOME Shell extension. If not provided, it +will be obtained from package.extensionUuid.

+ +

Type: +string

+ +

Example: +"user-theme@gnome-shell-extensions.gcampax.github.com"

+ +

Declared by:

+ + +
+ +<home-manager/modules/programs/gnome-shell.nix> + +
+
+
+ + programs.gnome-shell.theme + + +
+
+

Theme to use for GNOME Shell.

+ +

Type: +null or (submodule)

+ +

Default: +null

+ +

Example:

{
+  name = "Plata-Noir";
+  package = pkgs.plata-theme;
+}
+
+
+ +

Declared by:

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

Package providing a GNOME Shell theme in +$out/share/themes/${name}/gnome-shell.

+ +

Type: +null or package

+ +

Default: +null

+ +

Example: +pkgs.plata-theme

+ +

Declared by:

+ + +
+ +<home-manager/modules/programs/gnome-shell.nix> + +
+
+
+ + programs.gnome-shell.theme.name + + +
+
+

Name of the GNOME Shell theme.

+ +

Type: +string

+ +

Example: +"Plata-Noir"

+ +

Declared by:

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