Hide features (PR to migrated Trac ticket #34185)#35668
Hide features (PR to migrated Trac ticket #34185)#35668vbraun merged 25 commits intosagemath:developfrom
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
| '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.
I don't know what "non standard" means here; do you mean "optional or experimental"?
There was a problem hiding this comment.
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