options: remove isServer since we have server profile

This commit is contained in:
Anthony Rodriguez 2025-01-14 12:22:06 +01:00
parent 7906864ae1
commit 65ea8beba0
Signed by: nezia
GPG key ID: EE3BE97C040A86CE
2 changed files with 2 additions and 7 deletions

View file

@ -20,7 +20,7 @@ in {
};
};
config.assertions = mkIf (!config.local.systemVars.isServer) [
config.assertions = mkIf (!config.local.profiles.server.enable) [
{
assertion = options.local.homeVars.fullName.isDefined;
}

View file

@ -4,7 +4,7 @@
...
}: let
inherit (lib) mkOption;
inherit (lib.types) bool str;
inherit (lib.types) str;
in {
options.local.systemVars = {
hostName = mkOption {
@ -17,11 +17,6 @@ in {
description = "username for the home directory";
default = null;
};
isServer = mkOption {
type = bool;
description = "whether or not this host is a server";
default = false;
};
};
config.assertions = [