Skip to content

Conversation

@hunger
Copy link
Contributor

@hunger hunger commented Jan 5, 2026

Description

Just a bit of polish for the docs.

  • Split up long lines
  • Always have a something go along with environment (e.g. "installation environment" or "environment variable")
    • Undo that again in a follow up change: It feels wrong now that I actually did it ;-)
  • Remove duplicate "Install" instructions from the home page
  • Reword a few small things
  • Add a few newlines (where IIRC they are required for strict markdown conformance)

How Has This Been Tested?

by rebuilding the docs using pixi r docs

AI Disclosure

  • This PR contains AI-generated content.

Checklist:

  • I have performed a self-review of my own code
  • I have made corresponding changes to the documentation
  • I have added sufficient tests to cover my changes.
  • I have verified that changes that would impact the JSON schema have been made in schema/model.py.

hunger added 2 commits January 5, 2026 21:26
... to make it clearer which "environment" is discussed where.
It's always `installation environment` and we have most places where environment
actually means something else cleaned up anyway.
@hunger hunger requested a review from ruben-arts January 5, 2026 22:24
@hunger hunger changed the title Docs polish style: docs/ polish Jan 5, 2026
Copy link
Contributor

@ruben-arts ruben-arts left a comment

Choose a reason for hiding this comment

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

Thank you, lots of improvements. I've left two suggestions, hopefully those clearify the function even more. Let me know when they don't

hunger and others added 2 commits January 6, 2026 09:39
Copy link
Contributor

@ruben-arts ruben-arts left a comment

Choose a reason for hiding this comment

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

Thank you

@baszalmstra baszalmstra merged commit 2deaa45 into prefix-dev:main Jan 7, 2026
40 checks passed
@hunger hunger deleted the docs-polish branch January 8, 2026 09:45
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.

3 participants