diff options
author | lassulus <lassulus@lassul.us> | 2017-10-09 13:25:46 +0200 |
---|---|---|
committer | lassulus <lassulus@lassul.us> | 2017-10-09 13:25:46 +0200 |
commit | a357a82f9e10c8b35465d1d3458d51e49e8e5676 (patch) | |
tree | 0a8da6542296e9743c81226c3b8fdb9b239fbb8b /makefu/3modules/server-config.nix | |
parent | 71e25af663f7b620a2adffa4ac5e0eeaef548a81 (diff) | |
parent | 903a1182b5c27cf0c07d267f136a0f2e5be3d89b (diff) |
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'makefu/3modules/server-config.nix')
-rw-r--r-- | makefu/3modules/server-config.nix | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/makefu/3modules/server-config.nix b/makefu/3modules/server-config.nix index 846642580..9cac59205 100644 --- a/makefu/3modules/server-config.nix +++ b/makefu/3modules/server-config.nix @@ -1,15 +1,14 @@ {config, lib, pkgs, ... }: -with import <stockholm/lib>; -{ +with lib;{ options.makefu.server.primary-itf = lib.mkOption { - type = types.str; - description = "Primary interface of the server"; - }; + type = types.str; + description = "Primary interface of the server"; + }; options.makefu.gui.user = lib.mkOption { - type = types.str; - description = "GUI user"; + type = types.str; + description = "GUI user"; default = config.krebs.build.user.name; - }; + }; } |