Skip to content

docs: Update docs with pixi-extensions#4144

Merged
lucascolley merged 4 commits intoprefix-dev:mainfrom
mrswastik-robot:docs-for-pixi-extensions
Aug 4, 2025
Merged

docs: Update docs with pixi-extensions#4144
lucascolley merged 4 commits intoprefix-dev:mainfrom
mrswastik-robot:docs-for-pixi-extensions

Conversation

@mrswastik-robot
Copy link
Contributor

for #3994

Copy link
Collaborator

@lucascolley lucascolley left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

a few nits bit otherwise this reads great to me, nice stuff! Super cool functionality also, looking forward to seeing which extensions people develop :)

Comment on lines +42 to +46
This approach has several advantages:
- **Isolated environments**: Each extension gets its own environment, preventing dependency conflicts
- **Automatic discovery**: Extensions are automatically found by pixi without modifying PATH
- **Easy management**: Use `pixi global list` and `pixi global remove` to manage extensions
- **Consistent experience**: Extensions appear in `pixi --help` just like built-in commands
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍 but maybe this text (for the first three points) belongs in global docs, and we can just link out to it in one sentence?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

yup makes sense! To me, it sounded like it's repeating. Seemed like I had read it somewhere else in the docs. Will resolve this 👍🏽

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we can merge this as is tbh!

@lucascolley lucascolley added area:extensions Related to pixi extensions documentation Improvements or additions to documentation labels Jul 21, 2025
@tdejager
Copy link
Contributor

tdejager commented Aug 4, 2025

@lucascolley @ruben-arts can this be merged?

@lucascolley lucascolley merged commit fddde8d into prefix-dev:main Aug 4, 2025
41 checks passed
@lucascolley
Copy link
Collaborator

yes :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area:extensions Related to pixi extensions documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants