8000 boulder: Output the recipe name, version, source-release and build-release at the very top of the build output · Issue #460 · AerynOS/os-tools · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

boulder: Output the recipe name, version, source-release and build-release at the very top of the build output #460

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
Open
ermo opened this issue May 5, 2025 · 0 comments
Open

boulder: Output the recipe name, version, source-release and build-release at the very top of the build output #460

ermo opened this issue May 5, 2025 · 0 comments
Labels
priority: should have type: developer experience Will make for a nicer developer experience type: user experience Will make for a nicer user experience
Milestone
alpha2

Comments

@ermo
Copy link
Contributor
ermo commented May 5, 2025

The context is that boulder doesn't actually show you this anywhere for some reason, which can be confusing if you are rifling through build logs.

Currently:

󰌽 ermo@virgil:~/repos/aos/recipes/g/gpm [  infra-alpha2-fixes ! ]
❯ just build
Refreshed local
Refreshed volatile

The following package(s) will be installed:
(...)

Suggested output:

󰌽 ermo@virgil:~/repos/aos/recipes/g/gpm [  infra-alpha2-fixes ! ]
❯ just build
boulder v0.25.1 (Git ref c0457e11d16e667f360e7f660e7657d942668da2)
'- building gpm-1.20.7-2-1:

Refreshed local
Refreshed volatile

The following package(s) will be installed:
(...)
@ermo ermo added this to the alpha1 milestone May 5, 2025
@ermo ermo modified the milestones: alpha1, alpha2 May 14, 2025
@ermo ermo added priority: should have type: user experience Will make for a nicer user experience type: developer experience Will make for a nicer developer experience labels May 27, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
priority: should have type: developer experience Will make for a nicer developer experience type: user experience Will make for a nicer user experience
Projects
None yet
Milestone
alpha2
Development

No branches or pull requests
1 participant
@ermo
0