[arch-general] The font and themes used in terminal and editor

[lists at realcyber.de]

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