To Vassilis: You can configure a different font in /etc/default/grub that is accessible, something like this:
GRUB_FONT=/boot/grub/DejaVuSansMono.pf2 Ulrik. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

