Hi, Grub's menu uses 80x25 character sizes on its menu.
I would like to change that to something smaller. Trying 'terminal --lines=50' does nothing. Anybody gotten grub to put smaller characters on its menu? Hugo --To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]