3 ms·
> 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?
by 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.