Faccio fatica a leggerli, e vorrei cambiarli se possibile Dalla ricerca ho capito che intervenendo in grub si possono cambiare le dimensioni dei caratteri dello stesso grub e del terminale, ma non ho idea di dove/come modificare. Inutile dire che modificando i parametri sopra non hanno avuto l'effetto sperato. Grazie mille per l'eventuale aiuto :) -- elio