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

Change handling of long command line options like --norepl so that repeating them will not toggle behaviour anymore #5440

Merged

Conversation

lispandfound
Copy link
Contributor

Fixes #4187 by only toggling short boolean options like -T when repeated. Long options like --norepl are now idempotent. I have also edited the output of gap -h to match this change, but I don't currently like the way it is worded (any suggestions?). I've glanced through the manual documentation to see if anything needs to be changed there, but the long command line options aren't yet documented (see #4197).

@ChrisJefferson
Copy link
Contributor

I'm happy with this change, as it does follow my experience with other software. If anyone wanted to be able to disable, we could add general support for -no- variants, but I don't expect that to be required.

@fingolfin fingolfin added release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes topic: ui kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements labels Feb 15, 2024
@fingolfin fingolfin changed the title Repeating long CLI flags will not toggle behaviour Change handling of long command line options like --norepl so that repeating them will not toggle behaviour anymore Feb 15, 2024
@fingolfin fingolfin closed this Feb 15, 2024
@fingolfin fingolfin reopened this Feb 15, 2024
@fingolfin fingolfin enabled auto-merge (squash) February 15, 2024 09:12
@fingolfin fingolfin merged commit af76dd6 into gap-system:master Feb 15, 2024
25 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes topic: ui
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Invoking gap --norepl --norepl turns on the REPL
3 participants