14 ms·
I think it may be Noto Sans Mono. >I tried whatthefont Has that website ever worked for anyone?
by seri4l 3y ago
I think it may be Noto Sans Mono.
>I tried whatthefont
Has that website ever worked for anyone?
- dj_mc_merlin 3y agoI think this one fits the most. It's also a popular Google font, so would make sense for a developer to use it. Thanks!
- muny 3y agoYes but mostly to narrow the solution space. I usually end up comparing glyphs from the subset.
- davisoneee 3y agoThe author links to their timer script, which links to what looks like dotfiles[1]. The author uses awesomewm (window manager), and loads the default font[2]. Default font is noto sans[3]. edit: add missing 'h' to start of ref 1. [1]: https://github.com/madprops/awesome-setup/blob/f8557150941ce64ea1bc04559bfff34f9c0c8f5c/modules/theme.lua#L7 https://github.com/madprops/awesome-setup/blob/f8557150941ce... [2]: https://github.com/awesomeWM/awesome/blob/b13ac3e34d7702778a6874c1b5bca052e3b0cdc7/themes/default/theme.lua#L15 https://github.com/awesomeWM/awesome/blob/b13ac3e34d7702778a... [3]: https://github.com/awesomeWM/awesome/blob/b13ac3e34d7702778a6874c1b5bca052e3b0cdc7/docs/ldoc.css#L1290 https://github.com/awesomeWM/awesome/blob/b13ac3e34d7702778a...