mirror of
https://github.com/nix-community/home-manager
synced 2024-08-20 11:06:30 +02:00
116 lines
2.9 KiB
Nix
116 lines
2.9 KiB
Nix
|
{ config, lib, pkgs, ... }:
|
||
|
|
||
|
with lib;
|
||
|
let
|
||
|
cfg = config.programs.gnome-shell;
|
||
|
|
||
|
extensionOpts = { config, ... }: {
|
||
|
options = {
|
||
|
id = mkOption {
|
||
|
type = types.str;
|
||
|
example = "user-theme@gnome-shell-extensions.gcampax.github.com";
|
||
|
description = ''
|
||
|
ID of the GNOME Shell extension. If not provided, it
|
||
|
will be obtained from `package.extensionUuid`.
|
||
|
'';
|
||
|
};
|
||
|
|
||
|
package = mkOption {
|
||
|
type = types.package;
|
||
|
example = "pkgs.gnome.gnome-shell-extensions";
|
||
|
description = ''
|
||
|
Package providing a GNOME Shell extension in
|
||
|
`$out/share/gnome-shell/extensions/''${id}`.
|
||
|
'';
|
||
|
};
|
||
|
};
|
||
|
|
||
|
config = mkIf (hasAttr "extensionUuid" config.package) {
|
||
|
id = mkDefault config.package.extensionUuid;
|
||
|
};
|
||
|
};
|
||
|
|
||
|
themeOpts = {
|
||
|
options = {
|
||
|
name = mkOption {
|
||
|
type = types.str;
|
||
|
example = "Plata-Noir";
|
||
|
description = ''
|
||
|
Name of the GNOME Shell theme.
|
||
|
'';
|
||
|
};
|
||
|
|
||
|
package = mkOption {
|
||
|
type = types.nullOr types.package;
|
||
|
default = null;
|
||
|
example = literalExpression "pkgs.plata-theme";
|
||
|
description = ''
|
||
|
Package providing a GNOME Shell theme in
|
||
|
`$out/share/themes/''${name}/gnome-shell`.
|
||
|
'';
|
||
|
};
|
||
|
};
|
||
|
};
|
||
|
|
||
|
in {
|
||
|
meta.maintainers = [ maintainers.terlar ];
|
||
|
|
||
|
options.programs.gnome-shell = {
|
||
|
enable = mkEnableOption "GNOME Shell customization";
|
||
|
|
||
|
extensions = mkOption {
|
||
|
type = types.listOf (types.submodule extensionOpts);
|
||
|
default = [ ];
|
||
|
example = literalExpression ''
|
||
|
[
|
||
|
{ package = pkgs.gnomeExtensions.dash-to-panel; }
|
||
|
{
|
||
|
id = "user-theme@gnome-shell-extensions.gcampax.github.com";
|
||
|
package = pkgs.gnome.gnome-shell-extensions;
|
||
|
}
|
||
|
]
|
||
|
'';
|
||
|
description = ''
|
||
|
List of GNOME Shell extensions.
|
||
|
'';
|
||
|
};
|
||
|
|
||
|
theme = mkOption {
|
||
|
type = types.nullOr (types.submodule themeOpts);
|
||
|
default = null;
|
||
|
example = literalExpression ''
|
||
|
{
|
||
|
name = "Plata-Noir";
|
||
|
package = pkgs.plata-theme;
|
||
|
}
|
||
|
'';
|
||
|
description = ''
|
||
|
Theme to use for GNOME Shell.
|
||
|
'';
|
||
|
};
|
||
|
};
|
||
|
|
||
|
config = mkIf cfg.enable (mkMerge [
|
||
|
(mkIf (cfg.extensions != [ ]) {
|
||
|
dconf.settings."org/gnome/shell" = {
|
||
|
disable-user-extensions = false;
|
||
|
enabled-extensions = catAttrs "id" cfg.extensions;
|
||
|
};
|
||
|
|
||
|
home.packages = catAttrs "package" cfg.extensions;
|
||
|
})
|
||
|
|
||
|
(mkIf (cfg.theme != null) {
|
||
|
dconf.settings."org/gnome/shell/extensions/user-theme".name =
|
||
|
cfg.theme.name;
|
||
|
|
||
|
programs.gnome-shell.extensions = [{
|
||
|
id = "user-theme@gnome-shell-extensions.gcampax.github.com";
|
||
|
package = pkgs.gnome.gnome-shell-extensions;
|
||
|
}];
|
||
|
|
||
|
home.packages = [ cfg.theme.package ];
|
||
|
})
|
||
|
]);
|
||
|
}
|