programs.gnome-shell.enable
Whether to enable GNOME Shell customization.
Type: boolean
Default:
false
Example:
true
Declared by:
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.gnomeExtensions.user-themes;
}
]
Declared by:
programs.gnome-shell.extensions.*.package
Package providing a GNOME Shell extension in
$out/share/gnome-shell/extensions/${id}.
Type: package
Example:
"pkgs.gnome-shell-extensions"
Declared by:
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:
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:
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:
programs.gnome-shell.theme.name
Name of the GNOME Shell theme.
Type: string
Example:
"Plata-Noir"
Declared by: