docs(deactivate): add flox-deactivate man page and deactivation section [DO NOT MERGE]#17
Open
djsauble wants to merge 3 commits into
Open
docs(deactivate): add flox-deactivate man page and deactivation section [DO NOT MERGE]#17djsauble wants to merge 3 commits into
djsauble wants to merge 3 commits into
Conversation
DEV-88 Add `deactivate` docs
|
|
Preview deployment for your docs. Learn more about Mintlify Previews.
💡 Tip: Enable Workflows to automatically generate PRs for you. |
djsauble
commented
May 20, 2026
djsauble
commented
May 20, 2026
djsauble
commented
May 20, 2026
djsauble
commented
May 20, 2026
djsauble
commented
May 20, 2026
djsauble
commented
May 20, 2026
djsauble
commented
May 20, 2026
11a3c8a to
13d2929
Compare
- Add a "Deactivating environments" section to concepts/activation.mdx covering reversibility, profile.deactivate scripts, layered envs, and the subshell shorthand for `exit`. - Add a one-line mention next to the existing `exit` / `Ctrl-D` callout in the Subshell section. - Register the new man/flox-deactivate page in docs.json under the Environments group of the CLI reference nav. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
- Add man/flox-deactivate.mdx mirroring the pandoc source at cli/flox/doc/flox-deactivate.md in flox/flox. - Add a DESCRIPTION note and SEE ALSO entry in man/flox-activate.mdx pointing at the new page. Scoped to the initial behavior — only deactivates the innermost environment. Layered/non-innermost selection (-d/-r) is deferred. These pages are duplicated from flox/flox today (the two repos hold parallel hand-maintained copies). This commit is kept last so it can be cleanly reverted if we later land automation that pulls man pages directly from flox/flox into this repo. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
13d2929 to
dd74d91
Compare
djsauble
commented
May 20, 2026
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
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.
Summary
man/flox-deactivate.mdxdocumenting theflox deactivatecommand — what it tears down (env vars, shell customizations,profile.deactivate.${shell}scripts), layered/innermost behavior with-d <path>for non-innermost layers, subshell shorthand forexit, and auto-activation suppression behavior.docs.jsonunder the Environments CLI reference group.concepts/activation.mdx(between Attaching and Development vs. runtime mode) and a one-line mention next to the existingexit/Ctrl-Dcallout in the Subshell section.man/flox-activate.mdx(DESCRIPTION note + SEE ALSO).Documents the designed
flox deactivatebehavior from the auto-activate slice, but it excludes any mention of the auto-activation feature. Companion CLI man page source PR: flox/flox#4264.Tutorials that currently tell users to
exit(flox-5-minutes,creating-environments,customizing-environments,layering-multiple-environments) are intentionally untouched — they'll be revisited in the follow-up auto-activation docs slice.Linear: DEV-88