Ship JetBrainsMono Nerd Font through the manifest #73
Labels
No labels
approved
bug
changes-requested
ci
decision
declined
discuss
docs
feature
meta
now
packaging
refactor
release
repo/core
repo/krystal
repo/plugins
repo/themes
status/backlog
status/in-progress
status/next
status/review
ux
No milestone
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set
Reference
joshquinlan/donbox#73
Loading…
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Every fonts.toml asks for JetBrainsMono Nerd Font; packages.toml only lists jetbrains-mono-fonts-all, and the old get_packages.sh fetched the Nerd Font release by hand. Pin the Nerd Font in packages.toml (a fonts section with a release tag and checksum, installed by donbox pkg sync) so a fresh install does not fall back.
Integrated on master (
c5cbab8): fonts in packages.toml pinning JetBrainsMono.tar.xz v3.5.0 with its sha256; lib/packages/fonts.sh verifies before extracting, stages, stamps and rebuilds the cache; donbox pkg sync and present cover fonts; 15 assertions with a real tar.xz fixture.