colonelpanic/dotfiles
1
0
Fork 1
Code Issues Pull Requests Packages Projects Releases Wiki Activity

codex: register nixos MCP server

Browse Source 
Inject an mcp_servers.nixos entry (pinned mcp-nixos binary) into the
generated Codex config.toml, threading it through both the awk merge of
the base config and the plain concatenation fallback.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
This commit is contained in:
Ivan Malison
2026-06-17 13:51:58 -07:00
parent 1869d3af8d
commit 2a3243b240
1 changed files with 9 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
nix-shared/home-manager/codex-generated-skills.nix
View File

@@ -6,6 +6,10 @@
}: let }: let
cfg = config.myModules.codexGeneratedSkills; cfg = config.myModules.codexGeneratedSkills;
oos = config.lib.file.mkOutOfStoreSymlink; oos = config.lib.file.mkOutOfStoreSymlink;
managedConfig = pkgs.writeText "codex-managed-config.toml" ''
[mcp_servers.nixos]
command = "${lib.getExe pkgs.mcp-nixos}"
'';
in { in {
options.myModules.codexGeneratedSkills = { options.myModules.codexGeneratedSkills = {
enable = lib.mkEnableOption "Codex home setup"; enable = lib.mkEnableOption "Codex home setup";
@@ -111,6 +115,7 @@ in {
codex_home=${lib.escapeShellArg cfg.codexHome} codex_home=${lib.escapeShellArg cfg.codexHome}
base=${lib.escapeShellArg "${cfg.worktreeCodexDir}/config.toml"} base=${lib.escapeShellArg "${cfg.worktreeCodexDir}/config.toml"}
source_base=${lib.escapeShellArg "${cfg.sourceCodexDir}/config.toml"} source_base=${lib.escapeShellArg "${cfg.sourceCodexDir}/config.toml"}
managed_config=${lib.escapeShellArg managedConfig}
local_config=${lib.escapeShellArg cfg.localConfig} local_config=${lib.escapeShellArg cfg.localConfig}
local_state_config=${lib.escapeShellArg cfg.generatedStateConfig} local_state_config=${lib.escapeShellArg cfg.generatedStateConfig}
target="$codex_home/config.toml" target="$codex_home/config.toml"
@@ -141,7 +146,7 @@ in {
-v begin_marker="$begin_marker" \ -v begin_marker="$begin_marker" \
-v end_marker="$end_marker" \ -v end_marker="$end_marker" \
-v rejected_prefixes="$rejected_project_prefixes" ' -v rejected_prefixes="$rejected_project_prefixes" '
FNR == NR { ARGIND < ARGC - 1 {
if ($0 ~ /^\[[^]]+\]$/) { if ($0 ~ /^\[[^]]+\]$/) {
base_sections[$0] = 1 base_sections[$0] = 1
} }
@@ -195,7 +200,7 @@ in {
END { END {
flush_block() flush_block()
} }
' "$base" "$target" \ ' "$base" "$managed_config" "$target" \
| ${lib.getExe pkgs.perl} -0pe 's/\n{3,}/\n\n/g' \ | ${lib.getExe pkgs.perl} -0pe 's/\n{3,}/\n\n/g' \
> "$local_state" > "$local_state"
@@ -212,6 +217,8 @@ in {
chmod 600 "$tmp" chmod 600 "$tmp"
cat "$base" > "$tmp" cat "$base" > "$tmp"
printf '\n' >> "$tmp"
cat "$managed_config" >> "$tmp"
if [ -r "$local_config" ]; then if [ -r "$local_config" ]; then
printf '\n' >> "$tmp" printf '\n' >> "$tmp"
cat "$local_config" >> "$tmp" cat "$local_config" >> "$tmp"