Emma Thorpe
dcc13f94e0
CI / flake (push) Skipped
CI / flake (pull_request) Successful in 4m21s
The docs-site build syncs this repo's README.md and docs/ into the site tree; nothing else is copied. All prose apart from the README therefore lived outside the sync and never appeared on https://docs.lyrapup.pet/nixfiles/, and the one page that did publish carried 18 link targets that resolved to nothing. Moves: home/README.md -> docs/shell.md home/KEYBINDINGS.md -> docs/keybindings.md hosts/<Name>/README.md -> docs/hosts/<name>.md docs/.pages and docs/hosts/.pages give the awesome-pages plugin an explicit order; new pages are picked up by the trailing '...' without an edit. Links are rewritten so a single URL is correct in both Gitea and the published site: absolute Gitea source URLs for .nix files and directories, relative links between pages under docs/, and absolute docs.lyrapup.pet URLs from the root README, which the build republishes at a different depth from the rest of the tree. In-code comments that pointed at a moved README are updated to the new path. The README gains a Documentation section covering the sync contract and the linking rules, and CLAUDE.md carries the short version so future edits do not reintroduce unsynced pages or dead links. Verified by reproducing the docs-site assembly locally against its pinned toolchain (mkdocs 1.6.1, mkdocs-material 9.7.7, awesome-pages 2.10.1): pages render at the URLs used above and in the declared order.
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 ../../docs/hosts/rpi5.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 = [ ];
|
|
}
|