summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2020-01-14 20:39:11 +0100
committertv <tv@krebsco.de>2020-01-14 20:39:11 +0100
commit75a7de1ee208c122d73cd8679e4ecbf08bb7ee16 (patch)
treea3df21516a6ad429abde6e4584720c50c74d3aa2
parenta553c3e2803cceecc6e6f42dbcba6a179035274e (diff)
Reaktor: types.{string => str}
-rw-r--r--krebs/3modules/Reaktor.nix4
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
'';