So which font do you use?

usr1106 · on July 11, 2022

I wrote I don't know. Whatever was there by the installation procedure described. (I am at sick leave at the moment. The PC is off not to hinder recovery. The phone is on to raise the feeling...).

usr1106 · on July 12, 2022

I you are still reading this. I booted my PC and checked.

Terminal font says DejaVu Sans Mono Book.

Emacs says DejaVu Sans Mono.

I don't know how this font lookup works and I don't want to spend my time on investigating, I guess both use /usr/share/fonts/truetype/dejavu/DejaVuSansMono.ttf