[arch-general] The font and themes used in terminal and editor
21 Sep
2019
21 Sep
'19
11:28 a.m.
Hello, Does anyone know what kind of font and color themes used in this terminal and editor setting, https://s3.amazonaws.com/f.cl.ly/items/1e2F0A123h331c1G0L0R/SadBart.gif, ? Thanks Mark
21 Sep
21 Sep
12:06 p.m.
Does anyone know what kind of font and color themes used in this terminal and editor setting, https://s3.amazonaws.com/f.cl.ly/items/1e2F0A123h331c1G0L0R/SadBart.gif,
Hi Mark, looks like Monofur. Check it out: https://app.programmingfonts.org/#monofur Regards, ml
12:42 p.m.
Hello,
Hello, Does anyone know what kind of font and color themes used in this terminal and editor setting, https://s3.amazonaws.com/f.cl.ly/items/1e2F0A123h331c1G0L0R/SadBart.gif, The colorscheme could be gruvbox[1]:
[1] https://github.com/morhetz/gruvbox Best, Paul
1969
Age (days ago)
1969
Last active (days ago)
2 comments
3 participants
participants (3)
-
CSO@riseup.net
-
lists@realcyber.de
-
ml