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.

Sign up for GitHub

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

Jump to bottom

Add --version command line option #3735

Closed
fingolfin opened this issue Nov 11, 2019 · 1 comment · Fixed by #4126
Closed

Add --version command line option #3735

fingolfin opened this issue Nov 11, 2019 · 1 comment · Fixed by #4126
Labels
good first issue Issues that can be understood and addressed by newcomers to GAP development kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: kernel

Comments

@fingolfin
Copy link
Member

Add --version command line option which prints out the GAP version and exits. This command should be fast, i.e., be handled by the kernel before the library is loaded.

This would be helpful for scripts that just want to test if the installed GAP version is new enough.
@fingolfin fingolfin added good first issue Issues that can be understood and addressed by newcomers to GAP development topic: kernel labels Nov 11, 2019
@fingolfin fingolfin added the kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements label Jan 8, 2020
@BaseMax
Copy link

BaseMax commented Feb 21, 2020 •
edited
Loading

Hello @fingolfin,

I want to work on it and be part of this project.

Regards,
Max Base

BaseMax added a commit to MaxFork/gap that referenced this issue Feb 21, 2020
@BaseMax
Add version command line option / gap-system#3735
840af76
@BaseMax BaseMax mentioned this issue Feb 21, 2020
Closed
8 tasks
@fingolfin fingolfin mentioned this issue Oct 7, 2020
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
good first issue Issues that can be understood and addressed by newcomers to GAP development kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: kernel
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add command line option --version fingolfin/gap
2 participants
@fingolfin @BaseMax