Mirrors/home-manager
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

rofi: switch from types.string to types.str

Browse source 
(cherry picked from commit ea9d44bede)
This commit is contained in:
Robert Helgesson 2018-12-04 23:43:12 +01:00
parent 159ee7a269
commit 1e2d80a583
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
modules/programs/rofi.nix
View file

@ -8,7 +8,7 @@ let
cfg = config.programs.rofi; cfg = config.programs.rofi;
colorOption = description: mkOption { colorOption = description: mkOption {
type = types.string; type = types.str;
description = description; description = description;
}; };
@ -175,7 +175,7 @@ in
font = mkOption { font = mkOption {
default = null; default = null;
type = types.nullOr types.string; type = types.nullOr types.str;
example = "Droid Sans Mono 14"; example = "Droid Sans Mono 14";
description = "Font to use."; description = "Font to use.";
}; };
@ -188,7 +188,7 @@ in
terminal = mkOption { terminal = mkOption {
default = null; default = null;
type = types.nullOr types.string; type = types.nullOr types.str;
description = '' description = ''
Path to the terminal which will be used to run console applications Path to the terminal which will be used to run console applications
''; '';
@ -282,7 +282,7 @@ in
configPath = mkOption { configPath = mkOption {
default = "${config.xdg.configHome}/rofi/config"; default = "${config.xdg.configHome}/rofi/config";
defaultText = "$XDG_CONFIG_HOME/rofi/config"; defaultText = "$XDG_CONFIG_HOME/rofi/config";
type = types.string; type = types.str;
description = "Path where to put generated configuration file."; description = "Path where to put generated configuration file.";
}; };