docs: add supported Nix and Home Manager workflows - #641
Merged
Conversation
Harmonia replaced the default wildcard with its service account on psi, preventing researchers and students from using nix shell and nix develop. Make local-user access explicit in the shared daemon policy and check every host configuration to prevent another service module from narrowing it.
The documented template was not included in the root flake outputs. Register it, pin Nixpkgs to the SBEE Lab fork, point the existing Upterm helper at the deployed relay, and select the Nix package required to render its user configuration.
Researchers need different setup paths for local development, shared server workloads, and persistent dotfiles. Document each path, provide a portable devShell example, and place Nix and Home Manager under the research and development navigation.
New documentation pages do not exist on the published site or main-branch source URLs during review. Remap canonical site links to the current build and exclude only generated source/edit links so online checks still validate external destinations.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Make Nix usable and understandable for researchers working on both personal machines and shared servers, since psi’s Harmonia setting blocked local accounts and the documented Home Manager starter was unavailable and stale. This restores untrusted daemon access for local users, separates local, SSH/server, devShell, and dotfile workflows under research and development navigation, exports a cross-platform Home Manager template, and fixes worktree formatting and pre-merge link validation; the psi NixOS build, Linux and macOS Home Manager activations, portable devShell, formatting, documentation build, and internal and online link checks all pass.