diff options
author | Samuel Grahn <samuel@grahnen.se> | 2020-05-11 17:42:59 +0200 |
---|---|---|
committer | Robert Helgesson <robert@rycee.net> | 2020-05-11 23:07:26 +0200 |
commit | 1ec45b11abdfbd92d608a6536d11e80bd648ec02 (patch) | |
tree | 4b83cf37a91767332042665c5f659ff584095342 /modules/programs | |
parent | 4ae188bfc7ad9a62264705c75ad054b1a4332556 (diff) |
rofi: add package option
Add option to specify which package provides the rofi binary.
PR #1225
Diffstat (limited to 'modules/programs')
-rw-r--r-- | modules/programs/rofi.nix | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/modules/programs/rofi.nix b/modules/programs/rofi.nix index f344e88e2ff..734bcc423e6 100644 --- a/modules/programs/rofi.nix +++ b/modules/programs/rofi.nix @@ -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} |