This commit is contained in:
Alejandro Angulo 2023-03-11 19:59:11 -08:00
parent 1231503914
commit c15ee0a39b
Signed by: alejandro-angulo
GPG key ID: 75579581C74554B6
30 changed files with 703 additions and 118 deletions

View file

@ -0,0 +1,27 @@
{
options,
config,
pkgs,
lib,
...
}:
with lib; let
cfg = config.aa.desktop.addons.rofi;
in {
options.aa.desktop.addons.rofi = with types; {
enable = mkEnableOption "rofi";
};
config = mkIf cfg.enable {
aa.home.extraOptions = {
programs.rofi = {
enable = true;
font = "Hack Nerd Font 10";
theme = "gruvbox-dark-hard";
extraConfig = {
show-icons = true;
};
};
};
};
}