What font is this?

(I saw this at a Ubuntu Linux terminal)

Enter image description here

fonts font-face
Edit
Report