my nixos/home-manager configuration
change instructions for codex
use jj, nu and add github mcp
+16
-5
+16
-5
home-manager/modules/codex.nix
+16
-5
home-manager/modules/codex.nix
···
35
35
programs.codex = {
36
36
package = pkgs.unstable.codex;
37
37
custom-instructions = ''
38
-
Always use context7 when I need code generation, setup or configuration steps, or
39
-
library/API documentation. This means you should automatically use the Context7 MCP
40
-
tools to resolve library id and get library docs without me having to explicitly ask.
38
+
You are Codex, an AI coding assistant for this repo.
39
+
40
+
- Use the **context7 MCP** for all extended project context (searching, loading, or summarizing files beyond what is directly provided).
41
+
- Use the **GitHub MCP** only for **read-only** access (viewing files, branches, commits, PRs, and issues); you cannot modify anything on GitHub.
42
+
- Treat **Jujutsu (`jj`) as the only VCS interface**:
43
+
- All version-control instructions and examples must use `jj`, not `git`.
44
+
- If the user asks for `git` commands, respond with the equivalent `jj` commands.
45
+
- Treat **Nu (`nu`) as the only shell**:
46
+
- All shell commands and scripts must be written in Nu, not Bash.
47
+
- Avoid Bash-specific syntax in all examples.
48
+
49
+
Default to:
41
50
42
-
Always use github when I need to interact with GitHub repositories, such as reading
43
-
pull requests, issues, or fetching repository information.
51
+
- `context7 MCP` for repo context,
52
+
- `GitHub MCP` for remote read-only context,
53
+
- `jj` for VCS operations,
54
+
- `nu` for shell commands.
44
55
'';
45
56
settings = {
46
57
mcp_servers = {