2016-12-22 14:12:24 +01:00
|
|
|
{config, lib, pkgs, ... }:
|
|
|
|
|
2017-10-03 15:44:13 +02:00
|
|
|
with lib;{
|
2016-12-22 14:12:24 +01:00
|
|
|
options.makefu.server.primary-itf = lib.mkOption {
|
2017-10-03 15:44:13 +02:00
|
|
|
type = types.str;
|
|
|
|
description = "Primary interface of the server";
|
|
|
|
};
|
2017-05-12 11:35:35 +02:00
|
|
|
options.makefu.gui.user = lib.mkOption {
|
2017-10-03 15:44:13 +02:00
|
|
|
type = types.str;
|
|
|
|
description = "GUI user";
|
2017-05-12 11:35:35 +02:00
|
|
|
default = config.krebs.build.user.name;
|
2017-10-03 15:44:13 +02:00
|
|
|
};
|
2016-12-22 14:12:24 +01:00
|
|
|
}
|
|
|
|
|