Ieri ho visto il terminale di linux (debian)
e ho notato una cosa interessante...
Il Font usato dal terminale non era quello standard (es. Dos)..

Come si fa a cambiare il font ?