Emma Thorpe
10cc6cceed
Separate user identity (data) from the reusable modules, and let a host declare any number of users instead of exactly one. - users/registry.nix: per-user identity (name, email, groups, authorized and signing keys) as the single source of identity; no user data is hardcoded in the modules. - mkHost takes a `users` set keyed by username; per-user identity is injected into each home config via the `identity` module arg (extraSpecialArgs is per-host, so it cannot carry per-user data). - modules/users.nix builds accounts from the registry; modules/ssh.nix no longer defines authorized keys (the registry owns them); home/git.nix and home/desktop.nix read `identity`; users/emmathorpe/work.nix drops its now-redundant git identity override. - Restructure the tree: users/, home/, modules/, hosts/, lib/ replace the former lyrathorpe/ and system/ layout. - Add standalone homeConfigurations (the portable subset: shell, git, editor, claude) and an exported homeModules output for use on machines not managed by this flake, or as an input to other flakes. Behaviour-preserving for existing hosts: lyrathorpe-mbp and emmathorpe-edaas evaluate to identical derivations; lyrathorpe-t400, lyrathorpe-macpro31 and lyrathorpe-rpi5 differ only by de-duplicating a repeated authorized_keys entry. Fixes the SSH authorized-key leak (one user's key was applied to every account), the hardcoded default git identity, and the hardcoded EDaaS linger setting.
32 lines
1.1 KiB
Nix
32 lines
1.1 KiB
Nix
# PLACEHOLDER hardware configuration for the Raspberry Pi 5.
|
|
#
|
|
# This file is NOT the real generated config -- it exists only so the host
|
|
# evaluates in CI before the Pi is provisioned. The machine will not boot from
|
|
# it as-is. On first install, regenerate this file on the device with
|
|
# nixos-generate-config --root /mnt
|
|
# and replace this placeholder with the output (commit it). See ./README.md.
|
|
#
|
|
# Like every hardware-configuration.nix in this repo, this file is excluded from
|
|
# the formatter and linters (see the pre-commit/treefmt excludes in flake.nix).
|
|
{ modulesPath, ... }:
|
|
{
|
|
imports = [ (modulesPath + "/installer/scan/not-detected.nix") ];
|
|
|
|
nixpkgs.hostPlatform = "aarch64-linux";
|
|
|
|
# The Raspberry Pi 5 boots from an SD card / USB with a FAT firmware partition
|
|
# and an ext4 root. Labels match the conventional sd-image layout; the real
|
|
# generated config will use by-uuid device paths instead.
|
|
fileSystems."/" = {
|
|
device = "/dev/disk/by-label/NIXOS_SD";
|
|
fsType = "ext4";
|
|
};
|
|
|
|
fileSystems."/boot/firmware" = {
|
|
device = "/dev/disk/by-label/FIRMWARE";
|
|
fsType = "vfat";
|
|
};
|
|
|
|
swapDevices = [ ];
|
|
}
|