diff options
| author | lassulus <lass@lassul.us> | 2017-05-12 19:30:07 +0200 |
|---|---|---|
| committer | lassulus <lass@lassul.us> | 2017-05-12 19:30:07 +0200 |
| commit | 58a7a56eeffe3f95beaab6d19d37c58a81b022f5 (patch) | |
| tree | 385104ae2e65956c5529bac9213d066070d9d3cf /makefu/3modules/server-config.nix | |
| parent | d04f5af71e0861210a6a307aa8d3289abed2ada8 (diff) | |
| parent | 39c264108329a412446c091852dd5a655da38b27 (diff) | |
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'makefu/3modules/server-config.nix')
| -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; + }; } |