From ea9d44bedead7ceda543418ddf79826534fc110e Mon Sep 17 00:00:00 2001 From: Robert Helgesson Date: Tue, 4 Dec 2018 23:43:12 +0100 Subject: [PATCH] rofi: switch from types.string to types.str --- modules/programs/rofi.nix | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/modules/programs/rofi.nix b/modules/programs/rofi.nix index ed21655ba..7fd69dc72 100644 --- a/modules/programs/rofi.nix +++ b/modules/programs/rofi.nix @@ -8,7 +8,7 @@ let cfg = config.programs.rofi; colorOption = description: mkOption { - type = types.string; + type = types.str; description = description; }; @@ -175,7 +175,7 @@ in font = mkOption { default = null; - type = types.nullOr types.string; + type = types.nullOr types.str; example = "Droid Sans Mono 14"; description = "Font to use."; }; @@ -188,7 +188,7 @@ in terminal = mkOption { default = null; - type = types.nullOr types.string; + type = types.nullOr types.str; description = '' Path to the terminal which will be used to run console applications ''; @@ -282,7 +282,7 @@ in configPath = mkOption { default = "${config.xdg.configHome}/rofi/config"; defaultText = "$XDG_CONFIG_HOME/rofi/config"; - type = types.string; + type = types.str; description = "Path where to put generated configuration file."; };