alexion/dev
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

docs(nix-style): clarify Home Manager package ownership

Browse Source
This commit is contained in:
alexion
2026-10-11 17:31:43 -04:00
parent 81a0e0ab76
commit 070fdf2a99
2 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
AGENTS.md
View File

@@ -126,3 +126,6 @@
Gitea rebases the synthetic upstream root commit without the `third_party/pi` prefix.
Preserve `git-subtree-dir` and `git-subtree-split` trailers on Pi vendor commits.
- The default Pi model for NixOS user configuration is set in `configs/nixos/modules/shell/pi/default.nix`, not in vendored Pi source.
- Home Manager uses the NixOS package set in this repository.
Use `pkgs` for Home Manager tool commands unless a NixOS `config.programs.<name>.package`
option owns the selected package.

6
src/skills/style/nix/rules/general.md
View File

@@ -41,13 +41,13 @@ They also make package ownership explicit.
### Rule
Use `pkgs.<name>` for Home Manager tools when Home Manager uses global NixOS packages.
Use `pkgs.<name>` for Home Manager tools.
Use `config.programs.<name>.package` when a NixOS module owns the selected package.
Do not read `config.home-manager.users.<user>.programs.<name>.package` for command paths.
Use that Home Manager package option only when Home Manager intentionally selects a different package.
Home Manager uses the NixOS package set in this repository.
### Rationale
Most Home Manager modules in this repository share the NixOS package set.
Home Manager uses the NixOS package set in this repository.
Referencing `pkgs.<name>` avoids needless dependency paths through the Home Manager user tree.
Configured NixOS package options preserve the selected package when a module owns the tool.