Skip to content

chore(flake/home-manager-stable): baa46aeb -> ea6d221d#1808

Merged
fredclausen merged 3 commits into
mainfrom
update-home-manager-stable
Jun 11, 2026
Merged

chore(flake/home-manager-stable): baa46aeb -> ea6d221d#1808
fredclausen merged 3 commits into
mainfrom
update-home-manager-stable

Conversation

@fredclausen

Copy link
Copy Markdown
Member
Commit Message
ea6d221d news: add entry for programs.mcp typed schema
005c72cc claude-code, codex, antigravity-cli, github-copilot-cli, opencode, vscode, zed-editor: use mcp lib
22d5ec3d mcp: extract helper functions into lib/mcp.nix
d899b017 opencode: use lib.hm.strings.isPathLike
d136d10d github-copilot-cli: use lib.hm.strings.isPathLike
55cf7c94 codex: use lib.hm.strings.isPathLike
c88f017a claude-code: use lib.hm.strings.isPathLike
d48a1e6a antigravity-cli: use lib.hm.strings.isPathLike
8982f451 lib/strings: add isPathLike helper
ba6a244f antigravity-cli: add migration news
cbc74b93 antigravity-cli: rename gemini-cli module
fcbbf548 docs: fix sshAuthSock reference in rl-2605

@fredclausen fredclausen enabled auto-merge June 11, 2026 15:07
home-manager-stable's bump to ea6d221d renames programs.gemini-cli to
programs.antigravity-cli. The release-25.11 catppuccin input used by
server hosts still ships the gemini-cli module, which sets the renamed
option and trips a fatal evaluation warning in CI. Guard the disable on
the option's presence so stable servers are quieted while unstable
catppuccin (which dropped the module) is unaffected.
The previous guard used `options.catppuccin ? gemini-cli`, which is true
on both catppuccin channels: stable ships a functional gemini-cli module
while unstable ships a mkRemovedOptionModule stub that still registers
the option key. Defining the option against the stub is a fatal removed-
option assertion, which broke the desktop and darwin builds.

Discriminate by reading the module source instead: only the functional
(stable) module references `programs.gemini-cli`, so disable the option
solely where that string is present. Verified by building the home-
manager activation package for a server (acarshub) and a desktop
(Daytona) and force-evaluating assertions on both desktops and a darwin
host -- all clean.
@fredclausen fredclausen added this pull request to the merge queue Jun 11, 2026
Merged via the queue into main with commit f459c32 Jun 11, 2026
21 checks passed
@fredclausen fredclausen deleted the update-home-manager-stable branch June 11, 2026 15:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants