{ den, ... }: { den.aspects.box = { includes = with den.aspects; [ den.default # den.provides.home-manager syncthing fish #cloudflared searxng copyparty glances # invidious mailserver # matrix redlib # sish vscode-server dns openssh gitea catppuccin (tunnel 3001 "tvtun") (tunnel 8888 "search") (tunnel 3210 "files") (tunnel 3030 "tube") (tunnel 8975 "reddit") (tunnel 3002 "git") (tunnel 61208 "monitor") ]; nixos = { networking.hostName = "box"; users.users.levi = { isNormalUser = true; description = "levi"; extraGroups = []; hashedPasswordFile = "/home/bug/users/levi.passwd"; }; }; }; }