From 1ec45b11abdfbd92d608a6536d11e80bd648ec02 Mon Sep 17 00:00:00 2001 From: Samuel Grahn Date: Mon, 11 May 2020 17:42:59 +0200 Subject: [PATCH] rofi: add package option Add option to specify which package provides the rofi binary. PR #1225 --- modules/programs/rofi.nix | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/modules/programs/rofi.nix b/modules/programs/rofi.nix index f344e88e..734bcc42 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 rofi 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}