Compare commits
10
Commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
9b7a9fa9b9 | ||
|
|
33278d9ed2 | ||
|
|
ad9decdf47 | ||
|
|
819633260e | ||
|
|
610d5d8b28 | ||
|
|
58c0004f20 | ||
|
|
f57d6ab1f9 | ||
|
|
574773de73 | ||
|
|
a857365cc3 | ||
|
|
c06a57f249 |
@@ -8,12 +8,6 @@ indent_size = 2
|
|||||||
trim_trailing_whitespace = true
|
trim_trailing_whitespace = true
|
||||||
insert_final_newline = true
|
insert_final_newline = true
|
||||||
|
|
||||||
[*.{nix,yaml,yml,json,md,sh,toml}]
|
|
||||||
indent_style = space
|
|
||||||
indent_size = 2
|
|
||||||
trim_trailing_whitespace = true
|
|
||||||
insert_final_newline = true
|
|
||||||
|
|
||||||
# Markdown uses trailing whitespace for hard line breaks.
|
# Markdown uses trailing whitespace for hard line breaks.
|
||||||
[*.md]
|
[*.md]
|
||||||
trim_trailing_whitespace = false
|
trim_trailing_whitespace = false
|
||||||
|
|||||||
@@ -2,3 +2,6 @@ modules/firmware/*
|
|||||||
|
|
||||||
# vim swap files
|
# vim swap files
|
||||||
*.swp
|
*.swp
|
||||||
|
|
||||||
|
# Local scratch project, not part of this flake.
|
||||||
|
tf-inspect/
|
||||||
|
|||||||
@@ -0,0 +1,63 @@
|
|||||||
|
# Working on this flake
|
||||||
|
|
||||||
|
Project notes for changes to this repository. Persona and memory rules live in
|
||||||
|
the user-global config; this file is about the flake's checks and conventions.
|
||||||
|
|
||||||
|
## Before you commit: run the formatter
|
||||||
|
|
||||||
|
Formatting and linting are driven by the flake. CI (`.gitea/workflows/ci.yaml`)
|
||||||
|
runs `nix flake check`, which fails the build if any file is unformatted or trips
|
||||||
|
a lint. From the repo root:
|
||||||
|
|
||||||
|
- `nix fmt` — format the whole tree (writes changes).
|
||||||
|
- `nix flake check` — run every check read-only (what CI runs).
|
||||||
|
- `nix develop` — dev shell; its `shellHook` installs the git pre-commit hooks so
|
||||||
|
the same gates run on `git commit`.
|
||||||
|
|
||||||
|
Never commit with `--no-verify`. A bypassed commit ships unformatted content and
|
||||||
|
turns CI red on the next push to `main` (see "Docs are checked too").
|
||||||
|
|
||||||
|
## What gets checked
|
||||||
|
|
||||||
|
Defined in `flake.nix` (the `treefmt`, `pre-commit`, and `checks` blocks) and
|
||||||
|
`statix.toml`:
|
||||||
|
|
||||||
|
| Check | Tool | Covers |
|
||||||
|
| ------------ | --------------------------------- | ------------------------------------------------------- |
|
||||||
|
| `formatting` | treefmt → `nixfmt` | all `*.nix` |
|
||||||
|
| `formatting` | treefmt → `shfmt` | shell scripts |
|
||||||
|
| `formatting` | treefmt → `prettier` | **Markdown, YAML, JSON** (incl. `README.md`, this file) |
|
||||||
|
| `deadnix` | deadnix | dead Nix bindings (`--no-lambda-pattern-names`) |
|
||||||
|
| `statix` | statix | Nix antipatterns (config in `statix.toml`) |
|
||||||
|
| pre-commit | nixfmt-rfc-style, deadnix, statix | the same gates, run on commit |
|
||||||
|
|
||||||
|
Excluded from formatting: `*/hardware-configuration.nix` (generated by
|
||||||
|
`nixos-generate-config`) and `flake.lock`. Editor defaults (indent, EOL, final
|
||||||
|
newline) are in `.editorconfig`; note Markdown keeps trailing whitespace, which
|
||||||
|
encodes hard line breaks.
|
||||||
|
|
||||||
|
## Docs are checked too — the common trap
|
||||||
|
|
||||||
|
prettier formats `*.md`, so **documentation edits must be run through `nix fmt`**
|
||||||
|
exactly like code. prettier re-aligns Markdown tables in particular; hand-editing
|
||||||
|
a table almost always leaves it non-conformant and fails the `formatting` check.
|
||||||
|
|
||||||
|
Beware a false green: the CI `detect` step skips the heavy checks on a pull
|
||||||
|
request that touches **no** `.nix`, `flake.lock`, or the workflow file — so a
|
||||||
|
docs-only PR reports success without ever running prettier. The failure then
|
||||||
|
surfaces on the push-to-`main` run (which always runs the full check) or on the
|
||||||
|
next unrelated PR that does touch Nix. Run `nix flake check` locally before
|
||||||
|
merging a docs change, regardless of what the PR check shows.
|
||||||
|
|
||||||
|
## Host evaluation
|
||||||
|
|
||||||
|
CI also evaluates every `nixosConfigurations` / `darwinConfigurations` host's
|
||||||
|
toplevel (eval only, no build) on an x86_64 runner, so eval errors fail cheaply.
|
||||||
|
Reproduce locally:
|
||||||
|
|
||||||
|
```sh
|
||||||
|
nix eval --raw ".#nixosConfigurations.<host>.config.system.build.toplevel.drvPath"
|
||||||
|
```
|
||||||
|
|
||||||
|
Host lists are discovered from the flake, so adding or removing a host needs no
|
||||||
|
change to the workflow.
|
||||||
@@ -12,16 +12,67 @@ Defined in the host table in [`flake.nix`](./flake.nix):
|
|||||||
| `lyrathorpe-mbp` | `aarch64-linux` | MacBook Pro (Apple Silicon, Asahi) |
|
| `lyrathorpe-mbp` | `aarch64-linux` | MacBook Pro (Apple Silicon, Asahi) |
|
||||||
| `lyrathorpe-t400` | `x86_64-linux` | ThinkPad T400 — [install notes](./hosts/T400/README.md) |
|
| `lyrathorpe-t400` | `x86_64-linux` | ThinkPad T400 — [install notes](./hosts/T400/README.md) |
|
||||||
| `lyrathorpe-macpro31` | `x86_64-linux` | Mac Pro 3,1, desktop — [install notes](./hosts/MacPro31/README.md) |
|
| `lyrathorpe-macpro31` | `x86_64-linux` | Mac Pro 3,1, desktop — [install notes](./hosts/MacPro31/README.md) |
|
||||||
| `emmathorpe-edaas` | `x86_64-linux` | Work WSL box (NixOS-WSL) |
|
| `emmathorpe-edaas` | `x86_64-linux` | Work WSL box (NixOS-WSL) — [notes](./hosts/EDaaS/README.md) |
|
||||||
| `lyrathorpe-rpi5` | `aarch64-linux` | Raspberry Pi 5 headless server: Docker host + nginx reverse proxy — [install notes](./hosts/RPi5/README.md) |
|
| `lyrathorpe-rpi5` | `aarch64-linux` | Raspberry Pi 5 headless server: Docker host + nginx reverse proxy — [install notes](./hosts/RPi5/README.md) |
|
||||||
| `lyrathorpe-mac` | `aarch64-darwin` | macOS (nix-darwin) |
|
| `lyrathorpe-mac` | `aarch64-darwin` | macOS (nix-darwin) — [notes](./hosts/Darwin/README.md) |
|
||||||
|
|
||||||
Shared layers: `home` (home-manager: shell, git, editor),
|
Shared layers: `home` (home-manager: shell, git, editor),
|
||||||
`modules/common-nixos.nix` (all NixOS hosts: fonts, nix-ld, caches),
|
`modules/common-nixos.nix` (all NixOS hosts: fonts, nix-ld, caches),
|
||||||
`modules/workstation.nix` (physical graphical hosts: audio, thermald,
|
`modules/workstation.nix` (physical graphical hosts: audio, thermald,
|
||||||
earlyoom, fwupd), `modules/laptop.nix` (laptops: Wi-Fi, Bluetooth, power,
|
earlyoom, fwupd), `modules/laptop.nix` (laptops: Wi-Fi, Bluetooth, power,
|
||||||
lid), and `modules/ssh.nix` (key-only sshd). The x86 hosts also pull
|
lid), `modules/desktop.nix` (wired desktops: NetworkManager), and
|
||||||
`nixos-hardware` profiles.
|
`modules/ssh.nix` (key-only sshd). The x86 hosts also pull `nixos-hardware`
|
||||||
|
profiles. The full module catalogue is below.
|
||||||
|
|
||||||
|
## Repository layout
|
||||||
|
|
||||||
|
```
|
||||||
|
flake.nix # inputs, mkHost/mkDarwinHost, the host tables, dev shell + checks
|
||||||
|
flake.lock # pinned input revisions (Renovate keeps this fresh)
|
||||||
|
modules/ # reusable NixOS system modules (see "Module catalogue")
|
||||||
|
home/ # home-manager profile: shell, git, editor, claude, desktop, sway
|
||||||
|
users/ # identity registry + per-user home extras (see "Users")
|
||||||
|
hosts/<Name>/ # per-machine config: configuration.nix + hardware-configuration.nix
|
||||||
|
lib/ # small pure helpers (currently the Catppuccin Mocha palette)
|
||||||
|
.gitea/workflows/ # CI (nix flake check + per-host eval)
|
||||||
|
statix.toml # lint config (house-style lints disabled)
|
||||||
|
.editorconfig # base whitespace style
|
||||||
|
tf-inspect/ # UNRELATED scratch project (gitignored, its own git repo);
|
||||||
|
# RouterOS / home-services Terraform, not part of this flake
|
||||||
|
```
|
||||||
|
|
||||||
|
Each `nixosConfiguration` / `darwinConfiguration` is assembled in `flake.nix`
|
||||||
|
from three layers: the shared `baseModules` (or `darwinBaseModules`), the
|
||||||
|
per-form-factor and `nixos-hardware` modules listed in the host table, and the
|
||||||
|
per-machine `hosts/<Name>/configuration.nix`. Home-manager is wired in as a
|
||||||
|
system module; each user's home is composed from the `homeModules` list in that
|
||||||
|
host's table entry.
|
||||||
|
|
||||||
|
## Module catalogue
|
||||||
|
|
||||||
|
Reusable NixOS modules under [`modules/`](./modules). "Imported by" says how a
|
||||||
|
module reaches a host: **baseModules** (every NixOS host, via `flake.nix`),
|
||||||
|
**host table** (listed explicitly per host in `flake.nix`), or **transitively**
|
||||||
|
(pulled in by another module's `imports`).
|
||||||
|
|
||||||
|
| Module | Imported by | What it does / when to use it |
|
||||||
|
| -------------------- | --------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
|
||||||
|
| `common-nixos.nix` | baseModules (all NixOS) | Timezone/locale, store hygiene (auto-optimise, big download buffer, **no** auto-GC), the nix-community binary cache, `nix-ld`, base CLI (`git`, `fastfetch`), and the fleet-wide font stack. |
|
||||||
|
| `users.nix` | baseModules (all NixOS) | Builds `users.users` from the registry for the host's `hostUsers`; enables zsh; enables Firefox + Thunderbird **only** when `features.swayDesktop.enable` is on. Applies per-user `linger`. |
|
||||||
|
| `features.nix` | baseModules (all NixOS) | Declares feature-flag options (currently `features.swayDesktop.enable`) so any host can read/set them without importing the heavy implementation module. |
|
||||||
|
| `workstation.nix` | transitively (via laptop/desktop) | Form-factor-agnostic base for physical graphical hosts: turns on `swayDesktop`, Dvorak console, PipeWire, firewall (default-deny), fstrim, earlyoom, fwupd, thermald (x86), redistributable fw. |
|
||||||
|
| `laptop.nix` | host table (MBP, T400) | `imports` workstation.nix, then adds the portable bits: iwd Wi-Fi, lid suspend/lock, Bluetooth + blueman. |
|
||||||
|
| `desktop.nix` | host table (Mac Pro) | `imports` workstation.nix, then swaps Wi-Fi for wired NetworkManager. Pair with `portable = false` in the host table. |
|
||||||
|
| `sway.nix` | host table (graphical hosts) | Implementation of `features.swayDesktop`: the system Sway package, the greetd/ReGreet (cage) greeter forced to Dvorak, xdg-portal, Wayland utility packages. Home-side Sway config is in `home/sway.nix`. |
|
||||||
|
| `ssh.nix` | host table (T400, Mac Pro, RPi5) | Enables sshd, opens port 22, enforces a key-only policy (no password / keyboard-interactive, no root). Authorized keys come from the registry via `users.nix`. |
|
||||||
|
| `firmware/` | referenced by MBP host config | Committed Apple peripheral firmware blobs for the Asahi MBP (see "MacBook (Asahi) firmware"). |
|
||||||
|
|
||||||
|
Form-factor decision: a **laptop** imports `laptop.nix` (default
|
||||||
|
`portable = true`); a **wired desktop** imports `desktop.nix` and sets
|
||||||
|
`portable = false`; a **headless server** imports neither (leaves
|
||||||
|
`features.swayDesktop.enable` at its default `false`) and adds only what it
|
||||||
|
serves. `portable` is threaded through to `home/sway.nix`, which drops the
|
||||||
|
battery block and brightness keys on desktops.
|
||||||
|
|
||||||
## Users
|
## Users
|
||||||
|
|
||||||
@@ -38,6 +89,16 @@ Identity is data, kept separate from the reusable modules:
|
|||||||
identity into that user's home config as the `identity` module arg. A host can
|
identity into that user's home config as the `identity` module arg. A host can
|
||||||
therefore declare any number of users.
|
therefore declare any number of users.
|
||||||
|
|
||||||
|
Per-user home extras live under `users/<name>/`:
|
||||||
|
|
||||||
|
- [`users/lyrathorpe/home.nix`](./users/lyrathorpe/home.nix) — personal extras
|
||||||
|
(an ssh host shortcut, gammastep coordinates); imported on Lyra's hosts.
|
||||||
|
- [`users/emmathorpe/work.nix`](./users/emmathorpe/work.nix) — the work
|
||||||
|
toolchain (kubectl/helm/az/etc.), work-only LSP servers, and the corporate ssh
|
||||||
|
handling; imports
|
||||||
|
[`users/emmathorpe/renovate-review.nix`](./users/emmathorpe/renovate-review.nix),
|
||||||
|
the daily headless Renovate-PR review timer (EDaaS only).
|
||||||
|
|
||||||
### Portable home (off-NixOS / external consumers)
|
### Portable home (off-NixOS / external consumers)
|
||||||
|
|
||||||
The home config is also exposed for use beyond these hosts:
|
The home config is also exposed for use beyond these hosts:
|
||||||
@@ -61,6 +122,36 @@ sudo nixos-rebuild switch --flake .#<configuration>
|
|||||||
darwin-rebuild switch --flake .#lyrathorpe-mac
|
darwin-rebuild switch --flake .#lyrathorpe-mac
|
||||||
```
|
```
|
||||||
|
|
||||||
|
On a host whose `networking.hostName` matches its flake attribute (the WSL box
|
||||||
|
and the Pi are set up this way), `nh os switch` resolves the configuration from
|
||||||
|
the hostname with no `--flake`/`-H` flag.
|
||||||
|
|
||||||
|
## Adding a new host
|
||||||
|
|
||||||
|
1. **Create `hosts/<Name>/`.** Add `configuration.nix` with the host-specific
|
||||||
|
bits only: `networking.hostName`, bootloader (firmware-specific — it is
|
||||||
|
deliberately not set in the shared modules), and any per-machine hardware
|
||||||
|
quirks. Keep anything reusable in `modules/` instead.
|
||||||
|
2. **Hardware config.** Generate `hardware-configuration.nix` on the real
|
||||||
|
machine with `nixos-generate-config` and commit it. If the machine does not
|
||||||
|
exist yet, commit a clearly-labelled placeholder so the host still evaluates
|
||||||
|
in CI (see the existing T400 / RPi5 placeholders), and replace it at install.
|
||||||
|
These files are excluded from the formatter and linters.
|
||||||
|
3. **Add a host-table entry in `flake.nix`.** Under `hosts` (NixOS) or
|
||||||
|
`darwinHosts` (macOS), set `system`, the `modules` list (host config + form
|
||||||
|
factor + any `nixos-hardware` profiles), and the `users` map (each user's
|
||||||
|
`homeModules`). Choose the form factor per the decision note above; a headless
|
||||||
|
host imports neither `laptop.nix` nor `desktop.nix`.
|
||||||
|
4. **Users.** If the host introduces a new person, add them to
|
||||||
|
`users/registry.nix` first; otherwise reference an existing username.
|
||||||
|
5. **Verify.** `nix flake check` formats, lints, and evaluates every host —
|
||||||
|
including the new one — so a broken entry fails locally before CI. Then
|
||||||
|
`sudo nixos-rebuild switch --flake .#<configuration>` on the machine.
|
||||||
|
|
||||||
|
No change to CI is needed: the host-eval step discovers hosts from the flake
|
||||||
|
(`attrNames` of the configuration sets), so a new entry is picked up
|
||||||
|
automatically.
|
||||||
|
|
||||||
## Shell environment & keybindings
|
## Shell environment & keybindings
|
||||||
|
|
||||||
- Interactive shell features (zsh, tmux, git, ssh, CLI tools, auto-tmux):
|
- Interactive shell features (zsh, tmux, git, ssh, CLI tools, auto-tmux):
|
||||||
@@ -111,4 +202,7 @@ A dev shell and a formatting/lint gate are wired through the flake:
|
|||||||
|
|
||||||
[`.gitea/workflows/ci.yaml`](./.gitea/workflows/ci.yaml) runs `nix flake check`
|
[`.gitea/workflows/ci.yaml`](./.gitea/workflows/ci.yaml) runs `nix flake check`
|
||||||
(formatting, `deadnix`, `statix`, the pre-commit hooks) and evaluates every
|
(formatting, `deadnix`, `statix`, the pre-commit hooks) and evaluates every
|
||||||
NixOS and Darwin host configuration on push/PR.
|
NixOS and Darwin host configuration on push/PR. It always runs (no `paths:`
|
||||||
|
filter) so the required check never hangs pending; the heavy Nix steps are
|
||||||
|
skipped when a PR touches no `.nix`/lockfile/workflow file, and the job still
|
||||||
|
reports green.
|
||||||
|
|||||||
Generated
+17
@@ -191,6 +191,22 @@
|
|||||||
"type": "github"
|
"type": "github"
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
|
"kube-tmux": {
|
||||||
|
"flake": false,
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1779714285,
|
||||||
|
"narHash": "sha256-l1wjg2ReWKCI7h/K11vvX2ykYTs/mVD+tfz/mQsjn/E=",
|
||||||
|
"owner": "jonmosco",
|
||||||
|
"repo": "kube-tmux",
|
||||||
|
"rev": "8b7e1d127c16b6dc87ff5743f4d775b245198b69",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "jonmosco",
|
||||||
|
"repo": "kube-tmux",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
"nix-darwin": {
|
"nix-darwin": {
|
||||||
"inputs": {
|
"inputs": {
|
||||||
"nixpkgs": [
|
"nixpkgs": [
|
||||||
@@ -373,6 +389,7 @@
|
|||||||
"flake-parts": "flake-parts",
|
"flake-parts": "flake-parts",
|
||||||
"git-hooks": "git-hooks",
|
"git-hooks": "git-hooks",
|
||||||
"home-manager": "home-manager",
|
"home-manager": "home-manager",
|
||||||
|
"kube-tmux": "kube-tmux",
|
||||||
"nix-darwin": "nix-darwin",
|
"nix-darwin": "nix-darwin",
|
||||||
"nix-homebrew": "nix-homebrew",
|
"nix-homebrew": "nix-homebrew",
|
||||||
"nix-index-database": "nix-index-database",
|
"nix-index-database": "nix-index-database",
|
||||||
|
|||||||
@@ -60,6 +60,13 @@
|
|||||||
url = "github:NixOS/nixos-hardware";
|
url = "github:NixOS/nixos-hardware";
|
||||||
inputs.nixpkgs.follows = "nixpkgs";
|
inputs.nixpkgs.follows = "nixpkgs";
|
||||||
};
|
};
|
||||||
|
# kube-tmux: kube context/namespace for the tmux status line on the work
|
||||||
|
# host. Not in nixpkgs and not a flake -- pinned here as a plain source so
|
||||||
|
# the script is always in the store (no manual checkout). See work.nix.
|
||||||
|
kube-tmux = {
|
||||||
|
url = "github:jonmosco/kube-tmux";
|
||||||
|
flake = false;
|
||||||
|
};
|
||||||
};
|
};
|
||||||
|
|
||||||
outputs =
|
outputs =
|
||||||
@@ -93,8 +100,6 @@
|
|||||||
# Unfree packages permitted to be built (replaces blanket allowUnfree).
|
# Unfree packages permitted to be built (replaces blanket allowUnfree).
|
||||||
unfreePackages = [
|
unfreePackages = [
|
||||||
"claude-code"
|
"claude-code"
|
||||||
"lens"
|
|
||||||
"lens-desktop"
|
|
||||||
];
|
];
|
||||||
|
|
||||||
# Per-user identity, keyed by username. See README "Users".
|
# Per-user identity, keyed by username. See README "Users".
|
||||||
|
|||||||
+2
-2
@@ -111,7 +111,7 @@ every host. Migrated from plain vim; the practical gain is a real LSP stack in
|
|||||||
place of the old (inert) ALE.
|
place of the old (inert) ALE.
|
||||||
|
|
||||||
| Feature | Notes |
|
| Feature | Notes |
|
||||||
| -------------- | -------------------------------------------------------------------------------------- |
|
| -------------- | ----------------------------------------------------------------------------------------- |
|
||||||
| Colorscheme | Catppuccin Mocha (matches the terminal and the rest of the desktop) |
|
| Colorscheme | Catppuccin Mocha (matches the terminal and the rest of the desktop) |
|
||||||
| File tree | nvim-tree, toggled with `,,` (comma twice; was nerdtree) |
|
| File tree | nvim-tree, toggled with `,,` (comma twice; was nerdtree) |
|
||||||
| Fuzzy finder | telescope (+fzf-native): `<leader>ff` files, `<leader>fg` grep, `<leader>fb` buffers |
|
| Fuzzy finder | telescope (+fzf-native): `<leader>ff` files, `<leader>fg` grep, `<leader>fb` buffers |
|
||||||
@@ -124,7 +124,7 @@ place of the old (inert) ALE.
|
|||||||
| Editing | which-key hints, comment (`gc`/`gcc`), autopairs, treesitter textobjects |
|
| Editing | which-key hints, comment (`gc`/`gcc`), autopairs, treesitter textobjects |
|
||||||
| Pane nav | vim-tmux-navigator — `Ctrl`+`h/j/k/l` moves across vim splits and tmux panes |
|
| Pane nav | vim-tmux-navigator — `Ctrl`+`h/j/k/l` moves across vim splits and tmux panes |
|
||||||
| Syntax | tree-sitter (nix, lua, bash, markdown, groovy, c#, python, terraform, yaml) |
|
| Syntax | tree-sitter (nix, lua, bash, markdown, groovy, c#, python, terraform, yaml) |
|
||||||
| LSP | nvim-cmp completion + servers `nil` (Nix), `lua_ls`, `pyright` (Python), `terraformls` |
|
| LSP | nvim-cmp completion + servers `nil_ls` (Nix), `lua_ls`, `pyright` (Python), `terraformls` |
|
||||||
| Indentation | 2-wide hard tabs (`noexpandtab`, `tabstop`/`shiftwidth` = 2); line numbers on |
|
| Indentation | 2-wide hard tabs (`noexpandtab`, `tabstop`/`shiftwidth` = 2); line numbers on |
|
||||||
| Filetypes | `*Jenkinsfile` → groovy |
|
| Filetypes | `*Jenkinsfile` → groovy |
|
||||||
|
|
||||||
|
|||||||
@@ -9,3 +9,4 @@
|
|||||||
- [Review and comments workflow](workflow_review_and_comments.md) — show PR body and non-trivial Jira comments before posting; terse IaC code comments; PR body content rules
|
- [Review and comments workflow](workflow_review_and_comments.md) — show PR body and non-trivial Jira comments before posting; terse IaC code comments; PR body content rules
|
||||||
- [Sandbox prompts](feedback_sandbox_prompts.md) — don't prompt for sandbox-disable or routine read-only shell ops; broaden permissions instead
|
- [Sandbox prompts](feedback_sandbox_prompts.md) — don't prompt for sandbox-disable or routine read-only shell ops; broaden permissions instead
|
||||||
- [Dev clusters disposable](dev_clusters_disposable.md) — Lyra's dev clusters are recreatable; mutate/break freely, no confirmation needed
|
- [Dev clusters disposable](dev_clusters_disposable.md) — Lyra's dev clusters are recreatable; mutate/break freely, no confirmation needed
|
||||||
|
- [Nix shell tooling](nix_shell_tooling.md) — any nixpkgs tool runs ad hoc via `nix run`/`nix shell nixpkgs#<pkg>`; a missing command is never a dead end
|
||||||
|
|||||||
@@ -0,0 +1,23 @@
|
|||||||
|
---
|
||||||
|
name: nix-shell-tooling
|
||||||
|
description: "Any nixpkgs tool can be run ad hoc via nix run / nix shell — a missing command is never a dead end during development"
|
||||||
|
metadata:
|
||||||
|
node_type: memory
|
||||||
|
type: feedback
|
||||||
|
originSessionId: dfb56b58-518b-4daf-b531-7119bb4a9534
|
||||||
|
---
|
||||||
|
|
||||||
|
Any tool in nixpkgs can be run without installing it into the environment. If a
|
||||||
|
command is missing during development, pull it from nixpkgs on the fly instead
|
||||||
|
of working around its absence or reporting the tool as unavailable.
|
||||||
|
|
||||||
|
**Why:** Lyra runs NixOS; the ambient PATH is deliberately minimal, but the full
|
||||||
|
nixpkgs set is always one command away. "command not found" is not a blocker.
|
||||||
|
|
||||||
|
**How to apply:**
|
||||||
|
|
||||||
|
- One-off run: `nix run nixpkgs#<pkg> -- <args>` (e.g. `nix run nixpkgs#jq -- .`).
|
||||||
|
- Tools on PATH for a session: `nix shell nixpkgs#<pkg> [nixpkgs#<pkg2> ...]`,
|
||||||
|
then run commands normally.
|
||||||
|
- Legacy form also works: `nix-shell -p <pkg> --run '<cmd>'`.
|
||||||
|
- Prefer this over hand-rolling a substitute for a tool that exists in nixpkgs.
|
||||||
@@ -0,0 +1,51 @@
|
|||||||
|
# macOS (nix-darwin) — `lyrathorpe-mac`
|
||||||
|
|
||||||
|
Flake host: `lyrathorpe-mac` (`aarch64-darwin`). Apple Silicon Mac managed by
|
||||||
|
**nix-darwin** from this same flake. Built via `mkDarwinHost` (single-user —
|
||||||
|
macOS owns the account; identity still comes from the registry). Files:
|
||||||
|
`configuration.nix`.
|
||||||
|
|
||||||
|
## What this host is
|
||||||
|
|
||||||
|
A macOS workstation. The interactive user environment (shell, git, editor,
|
||||||
|
Claude) is the **shared `../../home` bundle** — the same modules the Linux hosts
|
||||||
|
use — so the terminal experience matches. The Linux-only `desktop.nix`/`sway.nix`
|
||||||
|
are intentionally left out. This host config covers the macOS-specific layer:
|
||||||
|
system packages, Homebrew, and macOS UI defaults.
|
||||||
|
|
||||||
|
## Package sourcing
|
||||||
|
|
||||||
|
- **nixpkgs** (`environment.systemPackages`) for CLI tooling and libraries.
|
||||||
|
- **Homebrew**, owned declaratively by `nix-homebrew` (Rosetta enabled for
|
||||||
|
x86_64 formulae). The `brews`/`casks` lists are **authoritative**:
|
||||||
|
`onActivation.cleanup = "zap"` uninstalls anything not declared. GUI apps are
|
||||||
|
casks (nixpkgs darwin GUI support is unreliable); a few version-pinned
|
||||||
|
toolchains and the PWA host stay on brew for continuity.
|
||||||
|
- **Mac App Store** apps are **not** declarative: nix-darwin 26.05 runs
|
||||||
|
activation as root, and `mas` cannot reach the App Store session from root.
|
||||||
|
Install them by hand with `mas install <id>` from a GUI Terminal (the `mas`
|
||||||
|
CLI is in `environment.systemPackages`).
|
||||||
|
|
||||||
|
## macOS integration
|
||||||
|
|
||||||
|
- `security.pam.services.sudo_local` — **Touch ID for sudo** (and
|
||||||
|
`darwin-rebuild`'s sudo prompt), kept in `sudo_local` so it survives OS
|
||||||
|
updates. `reattach` pulls in `pam_reattach` so Touch ID works inside tmux
|
||||||
|
(which the terminals auto-start).
|
||||||
|
- `system.defaults` — declarative dock / finder / global / trackpad preferences,
|
||||||
|
applied on activation and reversible. This is the main reason to run nix-darwin
|
||||||
|
beyond package management.
|
||||||
|
- The JetBrainsMono Nerd Font is installed to `/Library/Fonts`; set it in
|
||||||
|
iTerm2 (Settings → Profiles → Text → Font) so the tmux statusline glyphs
|
||||||
|
render.
|
||||||
|
|
||||||
|
## stateVersion
|
||||||
|
|
||||||
|
`system.stateVersion = 5` (the nix-darwin state version, an integer — not a
|
||||||
|
NixOS release string). Read `darwin-rebuild changelog` before changing it.
|
||||||
|
|
||||||
|
## Apply
|
||||||
|
|
||||||
|
```sh
|
||||||
|
darwin-rebuild switch --flake .#lyrathorpe-mac
|
||||||
|
```
|
||||||
@@ -0,0 +1,53 @@
|
|||||||
|
# Work WSL box — `emmathorpe-edaas`
|
||||||
|
|
||||||
|
Flake host: `emmathorpe-edaas` (`x86_64-linux`). NixOS running under
|
||||||
|
**NixOS-WSL** on the corporate Windows machine. Headless: no Sway desktop
|
||||||
|
(`features.swayDesktop.enable = false`), plain WSL shell login. Files:
|
||||||
|
`configuration.nix`.
|
||||||
|
|
||||||
|
## What this host is
|
||||||
|
|
||||||
|
The day-to-day work environment. It layers the corporate Kubernetes / Helm /
|
||||||
|
Terraform / cloud toolchain and a couple of work-only editor language servers on
|
||||||
|
top of the shared home profile. The system config here is thin — it is mostly
|
||||||
|
WSL plumbing; the user-facing tooling lives in
|
||||||
|
[`../../users/emmathorpe/work.nix`](../../users/emmathorpe/work.nix).
|
||||||
|
|
||||||
|
## WSL specifics
|
||||||
|
|
||||||
|
- `wsl.enable`, default user `emmathorpe`, Windows PATH interop and start-menu
|
||||||
|
launchers on. `/etc/hosts` generation is off (`generateHosts = false`).
|
||||||
|
- **Docker Desktop integration**, not the native daemon as the primary path:
|
||||||
|
`wsl.extraBin` shims the coreutils/`groupadd`/`usermod` binaries Docker
|
||||||
|
Desktop's `wsl-distro-proxy` expects, and `docker-desktop-proxy.script` is
|
||||||
|
patched to the real proxy path. The native `virtualisation.docker` is also
|
||||||
|
enabled (with `enableOnBoot` + `autoPrune`).
|
||||||
|
- `programs.ssh.systemd-ssh-proxy.enable = false` — the NixOS-WSL store is a
|
||||||
|
read-only VHD owned by `nobody`, and OpenSSH rejects the generated
|
||||||
|
`ssh-proxy` Include as "Bad owner or permissions", which would break ssh/git
|
||||||
|
for every command. The vsock proxy it provides is unused under WSL.
|
||||||
|
- `networking.hostName = "emmathorpe-edaas"` matches the flake attribute so
|
||||||
|
`nh os switch` resolves without `-H`.
|
||||||
|
|
||||||
|
## Renovate review timer
|
||||||
|
|
||||||
|
The host-table entry sets `users.emmathorpe.linger = true` so the user's
|
||||||
|
`systemd --user` instance stays alive without an open login session. That keeps
|
||||||
|
the daily headless **Renovate PR review** timer firing — defined in
|
||||||
|
[`../../users/emmathorpe/renovate-review.nix`](../../users/emmathorpe/renovate-review.nix)
|
||||||
|
(imported only from `work.nix`, so it exists on this machine alone). See that
|
||||||
|
file's header for the auth (Vertex AI ADC), triage policy, and caveats.
|
||||||
|
|
||||||
|
## stateVersion
|
||||||
|
|
||||||
|
`system.stateVersion = "24.11"` — the release this box was first installed on.
|
||||||
|
Leave it; it freezes stateful defaults and is not meant to track the current
|
||||||
|
nixpkgs.
|
||||||
|
|
||||||
|
## Apply
|
||||||
|
|
||||||
|
```sh
|
||||||
|
sudo nixos-rebuild switch --flake .#emmathorpe-edaas
|
||||||
|
# or, since the hostname matches the attribute:
|
||||||
|
nh os switch
|
||||||
|
```
|
||||||
@@ -48,7 +48,7 @@ gigabit ports.
|
|||||||
## Login
|
## Login
|
||||||
|
|
||||||
Graphical login via a Wayland greeter — `greetd` running ReGreet inside the
|
Graphical login via a Wayland greeter — `greetd` running ReGreet inside the
|
||||||
`cage` kiosk compositor — configured centrally in `lyrathorpe/swaywm.nix` for
|
`cage` kiosk compositor — configured centrally in `../../modules/sway.nix` for
|
||||||
every Sway host (gated on `features.swayDesktop.enable`). The greeter is forced
|
every Sway host (gated on `features.swayDesktop.enable`). The greeter is forced
|
||||||
to the Dvorak layout to match the console and Sway session. Set the user
|
to the Dvorak layout to match the console and Sway session. Set the user
|
||||||
password (`passwd lyrathorpe`) after install, or the greeter cannot
|
password (`passwd lyrathorpe`) after install, or the greeter cannot
|
||||||
|
|||||||
@@ -26,10 +26,8 @@
|
|||||||
# workstation.nix is the backstop).
|
# workstation.nix is the backstop).
|
||||||
zramSwap.enable = true;
|
zramSwap.enable = true;
|
||||||
|
|
||||||
# This host accepts SSH, so open 22 (the firewall itself is enabled in
|
# sshd (daemon, port 22, key-only policy) comes from ../../modules/ssh.nix;
|
||||||
# workstation.nix with a default-deny policy).
|
# the firewall itself is enabled in workstation.nix with a default-deny policy.
|
||||||
services.openssh.enable = true;
|
|
||||||
networking.firewall.allowedTCPPorts = [ 22 ];
|
|
||||||
|
|
||||||
# Dual Harpertown Xeon microcode. Redistributable firmware (GPU/NIC blobs) is
|
# Dual Harpertown Xeon microcode. Redistributable firmware (GPU/NIC blobs) is
|
||||||
# enabled in workstation.nix.
|
# enabled in workstation.nix.
|
||||||
|
|||||||
@@ -15,7 +15,7 @@ Headless `aarch64-linux` server with two roles:
|
|||||||
```sh
|
```sh
|
||||||
nixos-generate-config --root /mnt
|
nixos-generate-config --root /mnt
|
||||||
# copy /mnt/etc/nixos/hardware-configuration.nix over
|
# copy /mnt/etc/nixos/hardware-configuration.nix over
|
||||||
# system/machine/RPi5/hardware-configuration.nix in this repo, then commit
|
# hosts/RPi5/hardware-configuration.nix in this repo, then commit
|
||||||
```
|
```
|
||||||
`hardware-configuration.nix` in this directory is a **placeholder** committed
|
`hardware-configuration.nix` in this directory is a **placeholder** committed
|
||||||
only so the host evaluates in CI. The machine will not boot correctly until it
|
only so the host evaluates in CI. The machine will not boot correctly until it
|
||||||
@@ -28,7 +28,8 @@ Headless `aarch64-linux` server with two roles:
|
|||||||
nh os switch
|
nh os switch
|
||||||
```
|
```
|
||||||
4. Give the login user a password (`passwd lyrathorpe`) and confirm the key in
|
4. Give the login user a password (`passwd lyrathorpe`) and confirm the key in
|
||||||
`system/modules/ssh.nix` is the one you will connect with.
|
the user registry (`../../users/registry.nix`, applied by
|
||||||
|
`../../modules/ssh.nix`) is the one you will connect with.
|
||||||
|
|
||||||
## Docker socket (security)
|
## Docker socket (security)
|
||||||
|
|
||||||
|
|||||||
@@ -25,15 +25,12 @@
|
|||||||
boot.loader.grub.enable = false;
|
boot.loader.grub.enable = false;
|
||||||
boot.loader.generic-extlinux-compatible.enable = true;
|
boot.loader.generic-extlinux-compatible.enable = true;
|
||||||
|
|
||||||
# Remote administration. Key-only policy and the authorized key come from
|
# Remote administration: the daemon, port 22 and key-only policy all come from
|
||||||
# ../../modules/ssh.nix; here we just enable the daemon and open the port.
|
# ../../modules/ssh.nix.
|
||||||
services.openssh.enable = true;
|
|
||||||
|
|
||||||
# Default-deny inbound. Open only SSH here; the Docker and nginx submodules
|
# Default-deny inbound; the Docker and nginx submodules open their own ports
|
||||||
# open their own ports (Docker via a source-restricted nftables rule, nginx
|
# (Docker via a source-restricted nftables rule, nginx via 80/443).
|
||||||
# via 80/443). List-valued, so these merge with the submodule definitions.
|
|
||||||
networking.firewall.enable = true;
|
networking.firewall.enable = true;
|
||||||
networking.firewall.allowedTCPPorts = [ 22 ];
|
|
||||||
|
|
||||||
# See `man configuration.nix` / the stateVersion docs before changing.
|
# See `man configuration.nix` / the stateVersion docs before changing.
|
||||||
system.stateVersion = "26.05";
|
system.stateVersion = "26.05";
|
||||||
|
|||||||
@@ -8,6 +8,10 @@
|
|||||||
# secure upgrade path is mutual TLS on 2376 (--tlsverify with client certs);
|
# secure upgrade path is mutual TLS on 2376 (--tlsverify with client certs);
|
||||||
# that needs out-of-band cert provisioning and is intentionally not wired here.
|
# that needs out-of-band cert provisioning and is intentionally not wired here.
|
||||||
{ ... }:
|
{ ... }:
|
||||||
|
let
|
||||||
|
# LAN allowed to reach the unauthenticated Docker TCP socket (see SECURITY above).
|
||||||
|
trustedSubnet = "10.187.1.0/24";
|
||||||
|
in
|
||||||
{
|
{
|
||||||
virtualisation.docker.enable = true;
|
virtualisation.docker.enable = true;
|
||||||
|
|
||||||
@@ -29,6 +33,6 @@
|
|||||||
# CIDR to match the LAN that should reach the Docker API.
|
# CIDR to match the LAN that should reach the Docker API.
|
||||||
networking.nftables.enable = true;
|
networking.nftables.enable = true;
|
||||||
networking.firewall.extraInputRules = ''
|
networking.firewall.extraInputRules = ''
|
||||||
ip saddr 10.187.1.0/24 tcp dport 2375 accept
|
ip saddr ${trustedSubnet} tcp dport 2375 accept
|
||||||
'';
|
'';
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -35,7 +35,7 @@ change and `radeon` stays idle.
|
|||||||
## Login
|
## Login
|
||||||
|
|
||||||
Graphical login via a Wayland greeter — `greetd` running ReGreet inside the
|
Graphical login via a Wayland greeter — `greetd` running ReGreet inside the
|
||||||
`cage` kiosk compositor — configured centrally in `lyrathorpe/swaywm.nix` for
|
`cage` kiosk compositor — configured centrally in `../../modules/sway.nix` for
|
||||||
every Sway host (gated on `features.swayDesktop.enable`). The greeter is forced
|
every Sway host (gated on `features.swayDesktop.enable`). The greeter is forced
|
||||||
to the Dvorak layout to match the console and Sway session. Set the user
|
to the Dvorak layout to match the console and Sway session. Set the user
|
||||||
password (`passwd lyrathorpe`) after install, or the greeter cannot
|
password (`passwd lyrathorpe`) after install, or the greeter cannot
|
||||||
|
|||||||
@@ -21,10 +21,8 @@
|
|||||||
# Low-RAM host (4 GiB max): a compressed RAM swap reduces disk paging.
|
# Low-RAM host (4 GiB max): a compressed RAM swap reduces disk paging.
|
||||||
zramSwap.enable = true;
|
zramSwap.enable = true;
|
||||||
|
|
||||||
# This host accepts SSH, so open 22 (the firewall itself is enabled in
|
# sshd (daemon, port 22, key-only policy) comes from ../../modules/ssh.nix;
|
||||||
# laptop.nix with a default-deny policy).
|
# the firewall itself is enabled in laptop.nix with a default-deny policy.
|
||||||
services.openssh.enable = true;
|
|
||||||
networking.firewall.allowedTCPPorts = [ 22 ];
|
|
||||||
|
|
||||||
# Intel Core 2 (Penryn) microcode. Redistributable firmware (enabled in
|
# Intel Core 2 (Penryn) microcode. Redistributable firmware (enabled in
|
||||||
# workstation.nix) supplies the iwlwifi blobs (Intel WiFi Link 5100/5300) and
|
# workstation.nix) supplies the iwlwifi blobs (Intel WiFi Link 5100/5300) and
|
||||||
|
|||||||
+6
-3
@@ -1,8 +1,11 @@
|
|||||||
# Key-only sshd hardening, imported by hosts that run sshd (T400, Mac Pro,
|
# sshd for the hosts that run it (T400, Mac Pro, RPi5): enable the daemon, open
|
||||||
# RPi5). Authorized keys are owned per-user by the registry (modules/users.nix),
|
# port 22, and apply a key-only policy. Authorized keys are owned per-user by the
|
||||||
# not here.
|
# registry (modules/users.nix), not here.
|
||||||
{ ... }:
|
{ ... }:
|
||||||
{
|
{
|
||||||
|
services.openssh.enable = true;
|
||||||
|
networking.firewall.allowedTCPPorts = [ 22 ];
|
||||||
|
|
||||||
services.openssh.settings = {
|
services.openssh.settings = {
|
||||||
PasswordAuthentication = false; # keys only
|
PasswordAuthentication = false; # keys only
|
||||||
KbdInteractiveAuthentication = false; # no keyboard-interactive fallback
|
KbdInteractiveAuthentication = false; # no keyboard-interactive fallback
|
||||||
|
|||||||
@@ -1,6 +1,11 @@
|
|||||||
# Work (EDaaS/WSL) home profile: corporate toolchain + tmux tweaks. Git identity
|
# Work (EDaaS/WSL) home profile: corporate toolchain + tmux tweaks. Git identity
|
||||||
# comes from the registry (users/registry.nix), not here.
|
# comes from the registry (users/registry.nix), not here.
|
||||||
{ pkgs, lib, ... }:
|
{
|
||||||
|
pkgs,
|
||||||
|
lib,
|
||||||
|
inputs,
|
||||||
|
...
|
||||||
|
}:
|
||||||
|
|
||||||
{
|
{
|
||||||
# Host-scoped extras for this machine only (the EDaaS/WSL host).
|
# Host-scoped extras for this machine only (the EDaaS/WSL host).
|
||||||
@@ -24,7 +29,6 @@
|
|||||||
pkgs.powershell
|
pkgs.powershell
|
||||||
pkgs.nuget
|
pkgs.nuget
|
||||||
pkgs.gedit
|
pkgs.gedit
|
||||||
pkgs.lens
|
|
||||||
pkgs.python3
|
pkgs.python3
|
||||||
pkgs.gnumake
|
pkgs.gnumake
|
||||||
pkgs.gcc
|
pkgs.gcc
|
||||||
@@ -48,8 +52,10 @@
|
|||||||
docker = "/run/current-system/sw/bin/docker";
|
docker = "/run/current-system/sw/bin/docker";
|
||||||
};
|
};
|
||||||
programs.tmux = {
|
programs.tmux = {
|
||||||
|
# kube context/namespace in the status line. kube-tmux is pinned as a flake
|
||||||
|
# input (it is not in nixpkgs), so the script is always present in the store.
|
||||||
extraConfig = ''
|
extraConfig = ''
|
||||||
set -g status-right "#(/run/current-system/sw/bin/bash $HOME/code/kube-tmux/kube.tmux 250 red black)"
|
set -g status-right "#(${pkgs.bash}/bin/bash ${inputs.kube-tmux}/kube.tmux 250 red black)"
|
||||||
'';
|
'';
|
||||||
};
|
};
|
||||||
programs.go = {
|
programs.go = {
|
||||||
|
|||||||
Reference in New Issue
Block a user