mirror of
https://github.com/nix-community/home-manager
synced 2024-12-28 20:59:47 +01:00
rofi: add package option
Add option to specify which package provides the rofi binary. PR #1225
This commit is contained in:
parent
4ae188bfc7
commit
1ec45b11ab
1 changed files with 12 additions and 1 deletions
|
@ -131,6 +131,17 @@ in {
|
|||
enable = mkEnableOption
|
||||
"Rofi: A window switcher, application launcher and dmenu replacement";
|
||||
|
||||
package = mkOption {
|
||||
default = pkgs.rofi;
|
||||
type = types.package;
|
||||
description = ''
|
||||
Package providing the <command>rofi</command> binary.
|
||||
'';
|
||||
example = literalExample ''
|
||||
pkgs.rofi.override { plugins = [ pkgs.rofi-emoji ]; };
|
||||
'';
|
||||
};
|
||||
|
||||
width = mkOption {
|
||||
default = null;
|
||||
type = types.nullOr types.int;
|
||||
|
@ -295,7 +306,7 @@ in {
|
|||
'';
|
||||
}];
|
||||
|
||||
home.packages = [ pkgs.rofi ];
|
||||
home.packages = [ cfg.package ];
|
||||
|
||||
home.file."${cfg.configPath}".text = ''
|
||||
${setOption "width" cfg.width}
|
||||
|
|
Loading…
Reference in a new issue