Bug#796795: grub-pc-bin: Please use a bigger font

2018-10-28 Thread Samuel Thibault
Samuel Thibault, le lun. 08 oct. 2018 20:34:36 +0200, a ecrit:
> Samuel Thibault, le lun. 24 août 2015 18:00:40 +0200, a ecrit:
> > Screen DPI (at last!) gets bigger, and thus the font currently used by
> > grub becomes too small, making it very hard to read the boot menu.
> 
> I now have a HiDPI display, and the font is now simply unreadable.

Perhaps grub should just do by default what we do in the installer:

set gfxmode=800x600
set gfxpayload=keep

or perhaps 1024x768.

Samuel



Bug#796795: grub-pc-bin: Please use a bigger font

2018-10-08 Thread Samuel Thibault
Control: severity -1 important

Hello,

Samuel Thibault, le lun. 24 août 2015 18:00:40 +0200, a ecrit:
> Screen DPI (at last!) gets bigger, and thus the font currently used by
> grub becomes too small, making it very hard to read the boot menu.

I now have a HiDPI display, and the font is now simply unreadable.

Samuel



Bug#796795: grub-pc-bin: Please use a bigger font

2015-08-24 Thread Samuel Thibault
Package: grub-pc-bin
Version: 2.02~beta2-26
Severity: normal

Hello,

Screen DPI (at last!) gets bigger, and thus the font currently used by
grub becomes too small, making it very hard to read the boot menu. Grub
should probably use bigger fonts nowadays, or at least have two font
sets ready for loading and choose between them depending on the
graphical display width.

Samuel

-- Package-specific info:

*** BEGIN /proc/mounts
/dev/sda6 / ext4 rw,nodiratime,relatime,discard,errors=remount-ro,data=ordered 
0 0
/dev/sda1 /mnt/dell vfat 
ro,relatime,fmask=0022,dmask=0022,codepage=437,iocharset=utf8,shortname=mixed,utf8,errors=remount-ro
 0 0
/dev/sda9 /home ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /var/tmp ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home ext4 rw,nodiratime,relatime,discard,data=ordered 
0 0
/dev/sda9 /home/32/home/wheezy-32/home ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /var/cache/pbuilder ext4 rw,nodiratime,relatime,discard,data=ordered 
0 0
/dev/sda9 /home/wheezy/home ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy/home ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/home/wheezy/home ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/wheezy/home ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda3 /mnt/win fuseblk 
rw,relatime,user_id=0,group_id=0,allow_other,blksize=4096 0 0
/dev/sda9 /home/wheezy-32/var/cache/pbuilder/result ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/var/cache/pbuilder/result ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/home/wheezy-32/var/cache/pbuilder/result ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/wheezy-32/var/cache/pbuilder/result ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy/home/wheezy-32/var/cache/pbuilder/result ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 
/home/32/home/wheezy-32/home/wheezy/home/wheezy-32/var/cache/pbuilder/result 
ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/wheezy/home/wheezy-32/var/cache/pbuilder/result 
ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy/home/wheezy-32/var/cache/pbuilder/result ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/var/cache/pbuilder/result ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/32/var/cache/pbuilder/result ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/home/32/var/cache/pbuilder/result ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/32/var/cache/pbuilder/result ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy/home/32/var/cache/pbuilder/result ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/home/wheezy/home/32/var/cache/pbuilder/result 
ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/wheezy/home/32/var/cache/pbuilder/result ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy/home/32/var/cache/pbuilder/result ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy/var/cache/pbuilder/result ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy/var/cache/pbuilder/result ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/home/wheezy/var/cache/pbuilder/result ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/wheezy/var/cache/pbuilder/result ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy/home/wheezy/var/cache/pbuilder/result ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 
/home/32/home/wheezy-32/home/wheezy/home/wheezy/var/cache/pbuilder/result ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/wheezy/home/wheezy/var/cache/pbuilder/result 
ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy/home/wheezy/var/cache/pbuilder/result ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/32/usr/src ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/home/32/usr/src ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/32/usr/src ext4 
rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy/home/32/usr/src ext4