chapel
chapel copied to clipboard
[Feature Request]: Allow anonymization of the output when calling `chpl --print-chpl-settings` and friends?
Summary of Feature
Description:
$CHPL_HOME/util/printchplenv
has an anonymize flag that allows printing Chapel settings without details like the path to the user's installation of Chapel. The Chapel compiler itself provides a flag that generates some similar (if more detailed) information, --print-chpl-settings
. Should there be an alternative to this flag or something that prints the same information but is anonymized?
Is this a blocking issue with no known work-arounds? No, if a user really wants to sanitize the results, they can do so by hand (it's just annoying)
Code Sample
I'm personally ambivalent about what this should look like, here's some options:
chpl --print-chpl-settings-anonymous # or
chpl --print-chpl-settings --anonymize