From e8e67b65e4ef44a49e7dbdfd0be80e5933c94e4a Mon Sep 17 00:00:00 2001 From: Martin Fischer Date: Sat, 10 Oct 2026 09:13:41 +0200 Subject: docs: add APPEND_SYSTEM.md and AGENTS.md The system prompt addition is to make it run `npins show ` 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 lookup paths. --- AGENTS.md | 20 ++++++++++++++++++++ user/pi/APPEND_SYSTEM.md | 2 ++ 2 files changed, 22 insertions(+) create mode 100644 AGENTS.md create mode 100644 user/pi/APPEND_SYSTEM.md 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 `. +* To get the store path to a pin, use the `get-path` npins subcommand. +* Avoid `nixos-option`. + +## Documentation + +* The Nixpkgs manual is in `/doc`. +* The NixOS manual is in `/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. -- cgit v1.3.1