diff options
author | makefu <github@syntax-fehler.de> | 2017-05-12 11:35:35 +0200 |
---|---|---|
committer | makefu <github@syntax-fehler.de> | 2017-05-12 11:35:35 +0200 |
commit | 4c2408763eec98ec9cecf340dccfffa34a0c3cb0 (patch) | |
tree | 995be05e5b059970082095079c16af3a073d882d /makefu/3modules | |
parent | 1f9ddd9c6f8cdd9ce1b5a6bb9dc65475e2a90e62 (diff) |
m: init and use 'makefu.gui.user'
Diffstat (limited to 'makefu/3modules')
-rw-r--r-- | makefu/3modules/server-config.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/makefu/3modules/server-config.nix b/makefu/3modules/server-config.nix index dbd29d748..846642580 100644 --- a/makefu/3modules/server-config.nix +++ b/makefu/3modules/server-config.nix @@ -6,5 +6,10 @@ with import <stockholm/lib>; type = types.str; description = "Primary interface of the server"; }; + options.makefu.gui.user = lib.mkOption { + type = types.str; + description = "GUI user"; + default = config.krebs.build.user.name; + }; } |