-
-
Notifications
You must be signed in to change notification settings - Fork 14.8k
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
gohufont: 2.0 -> 2.1 #56707
gohufont: 2.0 -> 2.1 #56707
Conversation
Uhm, this is bad. ofBorg, my computer and a different one produced 3 different hashes. |
Ok, it was gzip fault but it's fixed now. |
let's try again |
hash mismatch on all platforms, which I can reproduce locally for x86_64-linux. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
fix hash mismatch
Argh, it must be still nondeterministic: on my machine I can build it with this hash. |
Maybe there's a way to build entirely from github? |
Not yet, until the issue regarding the font size is fixed. |
@GrahamcOfBorg build gohufont |
@GrahamcOfBorg build gohufont |
I removed the gzipping part and it seems reproducible now. |
ping |
Thank you. |
Motivation for this change
#35003
Things done
nix path-info -S
before and after)notes: the 2x scaled fonts can't be properly converted to pcf and entirely to psf. It appears to be a problem with the font itself as two different tools are giving the same result.