4 ms·
You can change the GRUB loader resolution in config, my dear penguin. Also, KDE is better in all regards. Ditch gnome.
by tubularhells 6y ago
You can change the GRUB loader resolution in config, my dear penguin.
Also, KDE is better in all regards. Ditch gnome.
- sgtnasty 6y ago> Also, KDE is better in all regards. Ditch gnome. Yup, did that, GNOME looks nice, but... KDE has some issues with HiDPI, like a mouse pointer that is way too small on window controls. Yes I did change the cursor size to 48, but it does not work with what I assume is a kwin issue. So the cursor hops from one size to another all over the place.
- simcop2387 6y agoThis may be a bug in an older KDE version. I'm on debian testing with running the latest stuff from https://www.preining.info/blog/2020/12/debian-kde-plasma-status-2020-12-02/ https://www.preining.info/blog/2020/12/debian-kde-plasma-sta... . I'm no longer running into those HiDPI issues in gnome or kde apps (some wxwidgets stuff is still wonky). Nothing ends up the wrong scale when using Plasma Wayland, but there are still other issues that aren't worked out that keep it from being perfect either. You might quickly try the KDE Neon distro on a live usb disk to see if it behaves better and then you'll know if the bugs you're running into have been fixed. https://neon.kde.org/ https://neon.kde.org/
- Filligree 6y ago> You can change the GRUB loader resolution in config, my dear penguin. But why do you have to? Why doesn't it use a reasonably sized font by default?
- dsr_ 6y agoSince you are of the opinion that it is a small matter of programming, and it is an open-source project that takes contributions, you should definitely go write that. Since it has not already happened, you may assume one of the following: - it is in the works but has not made it to the version you are using. - nobody else thought of that, congratulations - it turns out to be harder than just identifying the issue
- 0_____0 6y agothat's a bit snippy for a response to a fairly reasonable question
- tubularhells 6y agoPardon me but that sounds rather entitled.
- Technically 6y agoIt does use a reasonably sized font by default. People just have different needs.
- djsumdog 6y agoYou can change GRUB and add your own fonts, yes: GRUB_GFXMODE=1920x1080 GRUB_GFXPAYLOAD_LINUX=keep GRUB_FONT="/boot/grub/fonts/DejaVuSans30.pcf" but you can't change the framebuffer resolution: https://unix.stackexchange.com/questions/201965/setting-the-efi-framebuffers-resolution-during-boot https://unix.stackexchange.com/questions/201965/setting-the-... ..or at least if you can, no one has bothered to answer my question on how for several years.