{ pkgs, lib, config, ... }: with builtins; { options.host = { hardware = lib.mkOption { type = with lib.types; listOf str; default = filter (x: isString x && x != "") (split "[ \n]+" (readFile "/sys/devices/virtual/dmi/id/product_name")); description = "hardware"; }; admin = lib.mkEnableOption "admin profile"; desktop = lib.mkEnableOption "desktop profile"; developer = lib.mkEnableOption "developer profile"; media = lib.mkEnableOption "media profile"; server = lib.mkEnableOption "server profile"; }; }