Skip to content
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

atddiff: don't print error message with --version #379

Closed
mjambon opened this issue Oct 24, 2023 · 0 comments · Fixed by #381
Closed

atddiff: don't print error message with --version #379

mjambon opened this issue Oct 24, 2023 · 0 comments · Fixed by #381
Labels

Comments

@mjambon
Copy link
Collaborator

mjambon commented Oct 24, 2023

$ atddiff --version
atddiff: required arguments OLD_ATD_FILE, NEW_ATD_FILE are missing
Usage: atddiff [OPTION]… OLD_ATD_FILE NEW_ATD_FILE
Try 'atddiff --help' for more information.
@mjambon mjambon added the bug label Oct 24, 2023
@mjambon mjambon changed the title atddiff: don't print error message with --help atddiff: don't print error message with --version Oct 24, 2023
@mjambon mjambon mentioned this issue Oct 24, 2023
3 tasks
mjambon added a commit to mjambon/opam-repository that referenced this issue Oct 27, 2023
CHANGES:

* atddiff: Breaking changes in the JSON output format of atddiff (ahrefs/atd#382)
* atddiff: Fix `atddiff --version` output (ahrefs/atd#379)
* atddiff: New experimental option `--no-locations` aimed at
           producing more stable results that allow diffing successive
           atddiff reports to spot new findings and ignore old ones (ahrefs/atd#377)
nberth pushed a commit to nberth/opam-repository that referenced this issue Jun 18, 2024
CHANGES:

* atddiff: Breaking changes in the JSON output format of atddiff (ahrefs/atd#382)
* atddiff: Fix `atddiff --version` output (ahrefs/atd#379)
* atddiff: New experimental option `--no-locations` aimed at
           producing more stable results that allow diffing successive
           atddiff reports to spot new findings and ignore old ones (ahrefs/atd#377)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant