Stack Exchange network consists of 176 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
Tried font identifier online but no luck.
Is it Cousine Regular?
The default font for terminal is Roboto Mono 10.
Roboto Mono 10
You can find all default variables at this repository on github.com :
Required, but never shown