diff options
author | tv <tv@krebsco.de> | 2020-01-14 20:39:11 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2020-01-14 20:39:11 +0100 |
commit | 75a7de1ee208c122d73cd8679e4ecbf08bb7ee16 (patch) | |
tree | a3df21516a6ad429abde6e4584720c50c74d3aa2 /krebs | |
parent | a553c3e2803cceecc6e6f42dbcba6a179035274e (diff) |
Reaktor: types.{string => str}
Diffstat (limited to 'krebs')
-rw-r--r-- | krebs/3modules/Reaktor.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/krebs/3modules/Reaktor.nix b/krebs/3modules/Reaktor.nix index 308c6d41d..2a035d7be 100644 --- a/krebs/3modules/Reaktor.nix +++ b/krebs/3modules/Reaktor.nix @@ -17,7 +17,7 @@ let nickname = mkOption { default = config.krebs.build.host.name + "|r"; - type = types.string; + type = types.str; description = '' The nick name of the irc bot. Defaults to {hostname}|r @@ -47,7 +47,7 @@ let extraConfig = mkOption { default = ""; - type = types.string; + type = types.str; description = '' configuration appended to the default or overridden configuration ''; |