Skip to content

option Prefix for needsPackage and friends instead of FileName #3671

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
mahrud opened this issue Feb 23, 2025 · 2 comments
Open

option Prefix for needsPackage and friends instead of FileName #3671

mahrud opened this issue Feb 23, 2025 · 2 comments

Comments

@mahrud
Copy link
Member

mahrud commented Feb 23, 2025

I wave my fist at the sky every time I have to laboriously type

needsPackage("PkgName", FileName => ".../PkgName.m2")

I mean, the whole /PkgName.m2 part is unnecessary (not to mention FileName ...)

Solution: add option Prefix that accepts a directory and deprecate FileName (i.e. still accept it but maybe don't mention it in the documentation).

@mikestillman
Copy link
Member

I would be happy with such a change, I also find it painful to type all that in! Prefix seems like a good solution...

@mahrud
Copy link
Member Author

mahrud commented Feb 24, 2025

Would you like to implement it?

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

No branches or pull requests

2 participants