1
0
mirror of https://github.com/nix-community/home-manager synced 2024-06-13 10:13:39 +02:00

rofi: switch from types.string to types.str

This commit is contained in:
Robert Helgesson 2018-12-04 23:43:12 +01:00
parent fd3692b36f
commit ea9d44bede
No known key found for this signature in database
GPG Key ID: 36BDAA14C2797E89

View File

@ -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.";
};