Bug#746966: HiDPI support

2020-08-13 Thread Ben Hutchings
On Tue, 2020-08-04 at 17:39 -0500, Diego Escalante Urrelo wrote: [...] > MIN_WIDTH_HIDPI=1600 > virtual_size=/sys/class/graphics/fb0/virtual_size > > if [ "$kernel" = linux -a -e "$virtual_size" ]; then > width=`cut -d',' -f2 < "$virtual_size"` > > if [ "$width" -ge "$

Bug#746966: HiDPI support

2020-08-04 Thread Diego Escalante Urrelo
On Tue, Aug 4, 2020 at 7:04 PM Samuel Thibault wrote: > > Diego Escalante, le mar. 04 août 2020 18:55:40 -0500, a ecrit: > > The GRUB prompt indeed took over the efifb resolution, but because it was > > using the default font, it was really tiny text. > > Mmm, so on your system the resolution you

Bug#746966: HiDPI support

2020-08-04 Thread Samuel Thibault
Diego Escalante, le mar. 04 août 2020 18:55:40 -0500, a ecrit: > The GRUB prompt indeed took over the efifb resolution, but because it was > using the default font, it was really tiny text. Mmm, so on your system the resolution you are getting in grub is already high and thus tiny text there? Tha

Bug#746966: HiDPI support

2020-08-04 Thread Diego Escalante
On mié, ago 5, 2020 at 12:50 am, Samuel Thibault wrote: Hello, Diego Escalante Urrelo, le mar. 04 août 2020 17:39:34 -0500, a ecrit: I was trying to figure out how to fix this Mmm, actually this should already be fixed, in the context of #910227. In the latest images we just keep the gr

Bug#746966: HiDPI support

2020-08-04 Thread Samuel Thibault
Hello, Diego Escalante Urrelo, le mar. 04 août 2020 17:39:34 -0500, a ecrit: > I was trying to figure out how to fix this Mmm, actually this should already be fixed, in the context of #910227. In the latest images we just keep the grub resolution, which in my tests is fine. That's lazy of course,

Bug#746966: HiDPI support

2020-08-04 Thread Diego Escalante Urrelo
Package: debian-installer Followup-For: Bug #746966 X-Debbugs-Cc: die...@gnome.org I was trying to figure out how to fix this so that there's a smarter default that figures out if the screen is way too "big" (hinting that it is HIDPI). I thought this should go in console-setup, but perhaps it rat