-
-
Notifications
You must be signed in to change notification settings - Fork 503
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
Hide features (PR to migrated Trac ticket #34185) #35668
Conversation
… into hide_features_34185
… into hide_features_34185
… into hide_features_34185
… into hide_features_34185
… into hide_features_34185
…rac.sagemath.org:sage into hide_features_34185
… into hide_features_34185
…emath/sagetrac-mirror into hide_features_34185
src/bin/sage-runtests
Outdated
@@ -52,6 +52,10 @@ if __name__ == "__main__": | |||
'if set to "all", then all tests will be run; ' | |||
'use "!FEATURE" to disable tests marked "# optional - FEATURE". ' | |||
'Note that "!" needs to be quoted or escaped in the shell.') | |||
parser.add_argument("--hide", metavar="FEATURES", default="", | |||
help='run tests pretending that the software listed in FEATURES (separated by commas) is not installed; ' | |||
'if "all" is listed, will also hide features corresponding to all non standard packages; ' |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't know what "non standard" means here; do you mean "optional or experimental"?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
do you mean "optional or experimental"?
Yes! I changed this, to have it more clear!
linter failure |
@mkoeppe Many thanks! |
Documentation preview for this PR (built with commit 97eaac9) is ready! 🎉 |
I'll be honest, I only noticed this ticket because it is in Volker's merge queue. At first I thought it was a missed opportunity to drop some usage of stuff in
|
I'm not sure I understand your point correctly. Is it about this |
We could of course declare what features are standard/optional explicitly when we define a feature. Of course, this is a minor point because referring to the features by group is only a convenience for developers. |
I am against adding any more functionality to I'll posit that |
This PR does not use sage.misc.package for that. It only uses it to query what packages are considered standard and which are considered optional. |
But I'm working on a follow-up that you'll like. |
📚 Description
See the description of the underlying migrated Trac ticket. This fixes #34185.
📝 Checklist
⌛ Dependencies