alexion/dev
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix(nixos): deploy Pi extensions globally #11

Merged
alexion merged 1 commits from fix/pi-global-extensions into main 2026-09-05 17:57:18 -04:00
Conversation 0 Commits 1 Files Changed 5 +13 -5
alexion commented 2026-09-05 17:56:25 -04:00
Owner
Copy Link

Summary

  • Deploy Pi extensions through Home Manager to ~/.pi/agent/extensions/.
  • Move extension sources into the NixOS Pi module.
  • Document the global extension source location.

Validation

  • Confirmed Pi loads the extensions from a monorepo subdirectory.
  • Ran nix eval for the Zeus Home Manager file entry.
## Summary - Deploy Pi extensions through Home Manager to `~/.pi/agent/extensions/`. - Move extension sources into the NixOS Pi module. - Document the global extension source location. ## Validation - Confirmed Pi loads the extensions from a monorepo subdirectory. - Ran `nix eval` for the Zeus Home Manager file entry.
alexion added 1 commit 2026-09-05 17:56:26 -04:00
fix(nixos): deploy Pi extensions globally 1c8d38a807
alexion merged commit 1c8d38a807 into main 2026-09-05 17:57:18 -04:00
alexion deleted branch fix/pi-global-extensions 2026-09-05 17:57:18 -04:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
alexion
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: alexion/dev#11
Delete Branch "fix/pi-global-extensions"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?