Closed pieterdd closed 1 year ago
Hey Pieter, thanks for appreciation!
I assume you read this section https://github.com/asciinema/agg#fonts ? What's the command line, and how are you specifying the font-family option?
Apologies, I had missed that part. When invoked as agg --font-family "FiraCode Nerd Font Mono" testfoo.cast testfoo.gif
, this is what I see in the GIF:
This is what I see in reality while recording:
It's not pixel-perfect, but it does indeed work. I can imagine that these fonts are kinda tricky to work with so I'd be okay closing the thread.
Right, making it pixel perfect on all (major) OSes is really hard given font engines' output differs in subtle ways. Not impossible, although I don't have bandwidth to chase this at the moment.
I understand, no worries. Thank you for work on this tool regardless!
(Sidenote: very pleased to discover this official tool from the asciinema team to render recordings to video. Small file sizes, no notable compression artifacts, written in Rust, good job guys!)
Describe the bug
agg
seems to have trouble rendering some Nerd Font characters that otherwise render normally for me. Here's a comparison of GIF render vs. web player:To Reproduce Steps to reproduce the behavior:
Expected behavior The character should render correctly in the GIF as well.
Versions:
Additional context I used the Windows Terminal app.