diff options
| author | Lucas Trzesniewski <lucas.trzesniewski@gmail.com> | 2025-10-20 20:27:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-10-20 11:27:03 -0700 |
| commit | 10ab94372b2f2ae56a2822c6ce31f3fd1854eb41 (patch) | |
| tree | a96120706bb3954db249c91d0e4f0066b01861f2 /default.nix | |
| parent | chore(release): prepare for release 18.9.0 (#2952) (diff) | |
| download | atuin-10ab94372b2f2ae56a2822c6ce31f3fd1854eb41.zip | |
feat: add commit to displayed version info (#2922)
This adds the commit SHA to the following:
- `atuin doctor`
- `atuin info` (which already displays the version)
- `atuin --version` (but not `atuin -V` in order not to affect `atuin
--help`)
I'm submitting this because I had issue reports in #2543 which were
already resolved, so being able to easily ask for the commit id would
have been helpful, as the version number isn't meaningful in a PR.
Also, I suppose the info should have been included in `atuin doctor` in
the first place, so that probably fixes an oversight.
## Checks
- [x] I am happy for maintainers to push small adjustments to this PR,
to speed up the review cycle
- [x] I have checked that there are no existing pull requests for the
same thing
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions