Support early stopping too old pre-installed tidy
command for macOS in the HTML checker
#90663
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR brings early stopping the HTML checker before errors, which leave some macOS users confused, and suggesting installing a newer
tidy
command.The pre-installed
tidy
command on macOS is too old, released on 31 October 2006. Additionally, I can see the same date at StackOverflow seven years ago. Thetidy
does not support two indispensable options:--mute-id
and--mute
. So, the./x.py test
command fails with a bunch of errors due not to muting them.I could confirm the
./x.py test
command before installing a newertidy
failed and its command after the installation succeeded.