diff options
| author | Martin Fischer <martin@push-f.com> | 2026-10-10 09:13:41 +0200 |
|---|---|---|
| committer | Martin Fischer <martin@push-f.com> | 2026-10-10 11:02:56 +0200 |
| commit | e8e67b65e4ef44a49e7dbdfd0be80e5933c94e4a (patch) | |
| tree | b2b2bdd2a3a44988bad6ff5dbe354fe47df1564c | |
| parent | d0f4bcdc2d5249368eaae452a43a7b668f6744fd (diff) | |
docs: add APPEND_SYSTEM.md and AGENTS.md
The system prompt addition is to make it run `npins show <pin>`
rather than `npins show` when looking for a specific pin.
`npins get-path` is mentioned because the model doesn't "know"
it yet (the subcommand was introduced in 2025 Dec).
nixos-option should be avoided because it's currently broken
for me because it fails to resolve <top/...> lookup paths.
| -rw-r--r-- | AGENTS.md | 20 | ||||
| -rw-r--r-- | user/pi/APPEND_SYSTEM.md | 2 |
2 files changed, 22 insertions, 0 deletions
diff --git a/AGENTS.md b/AGENTS.md new file mode 100644 index 0000000..f2776d5 --- /dev/null +++ b/AGENTS.md @@ -0,0 +1,20 @@ +# Agent instructions + +* Files in `user/` map directly to `~/.config/`. The `link-user` script creates these symlinks. + After creating new files in `user/`, tell me to rerun the `link-user` script. + +## NixOS + +The NixOS config for this laptop (hamac) and my servers is in `nixos/`. +Dependencies are pinned with npins; host-to-channel mappings are defined in `nixos/channels.toml`. + +### Commands + +* To inspect and edit pins use the `npins` CLI: `npins -d nixos/npins <command>`. +* To get the store path to a pin, use the `get-path` npins subcommand. +* Avoid `nixos-option`. + +## Documentation + +* The Nixpkgs manual is in `<nixpkgs>/doc`. +* The NixOS manual is in `<nixpkgs>/nixos/doc/manual`. diff --git a/user/pi/APPEND_SYSTEM.md b/user/pi/APPEND_SYSTEM.md new file mode 100644 index 0000000..9eff0eb --- /dev/null +++ b/user/pi/APPEND_SYSTEM.md @@ -0,0 +1,2 @@ +* When looking for specific information, narrow down command output via CLI + arguments when possible, rather than filtering the output yourself. |