Skip to content

feat(cli): add -m short alias for manifest_path option#5066

Merged
ruben-arts merged 2 commits intoprefix-dev:mainfrom
paugier:feat-manifest-path-short
Dec 16, 2025
Merged

feat(cli): add -m short alias for manifest_path option#5066
ruben-arts merged 2 commits intoprefix-dev:mainfrom
paugier:feat-manifest-path-short

Conversation

@paugier
Copy link
Contributor

@paugier paugier commented Dec 4, 2025

Description

Add -m alias for --manifest-path option. My students really need that.

Fixes #3573

Checklist:

  • I have performed a self-review of my own code

  • I have commented my code, particularly in hard-to-understand areas

  • I have made corresponding changes to the documentation

I don't know if something is needed for such simple change.

  • I have added sufficient tests to cover my changes.

I don't know if more tests are necessary for such simple change.

  • I have verified that changes that would impact the JSON schema have been made in schema/model.py.

I don't understand this check...

@paugier paugier force-pushed the feat-manifest-path-short branch from c4489a2 to 28a9753 Compare December 5, 2025 09:09
@paugier
Copy link
Contributor Author

paugier commented Dec 5, 2025

Is it expected that one needs more than 10 GB just for the pixi directory?

I can't run pixi run generate-cli-docs because of quota error.

I was finally able to build the doc with pixi run generate-cli-docs after some fight related to quota. 12 GB are needed 🙂

@paugier
Copy link
Contributor Author

paugier commented Dec 5, 2025

It was not possible to use short="mp", so I'm trying with just short. Anyway, -mp does not seem great to me since it can be interpreted as -m -p.

@paugier paugier force-pushed the feat-manifest-path-short branch from 28a9753 to 98eb740 Compare December 5, 2025 12:14
@paugier paugier changed the title feat(cli): add -mp short alias for manifest_path option feat(cli): add -m short alias for manifest_path option Dec 5, 2025
@Hofer-Julian
Copy link
Contributor

Thanks for opening this PR @paugier!

I am positively surprised that doesn't clash with any existing flag.
I am in favor of merging, this but want to give @ruben-arts a chance to give it a look as well.

@Hofer-Julian
Copy link
Contributor

Feel free to ping us if we haven't come back to you within a week.

@baszalmstra
Copy link
Contributor

@Hofer-Julian @ruben-arts Ping! :)

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.

Thanks

@ruben-arts ruben-arts merged commit 86af956 into prefix-dev:main Dec 16, 2025
45 checks passed
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.

Simple alias for shell --manifest-path, something like shell -p?

4 participants