URL: <http://savannah.gnu.org/bugs/?51914>
Summary: Dynamic font size selection based on DPI Project: GNU GRUB Submitted by: pcrow Submitted on: Fri 01 Sep 2017 07:20:49 PM UTC Category: User Interface Severity: Major Priority: 5 - Normal Item Group: Feature Request Status: None Privacy: Public Assigned to: None Originator Name: Preston Crow Originator Email: Open/Closed: Open Discussion Lock: Any Release: Release: 2.02 Reproducibility: Every Time Planned Release: None _______________________________________________________ Details: I have a laptop that is often connected to different external displays. Grub does a fine job of selecting the correct resolution (usually the maximum) and displaying my background image, but I don't seem to be able to configure it to select the appropriate size of font based on the DPI or screen resolution. The displays I use range from 96 DPI to 288 DPI, so no one font will look right everywhere. I looked into manually modifying my grub.cfg. While the 'videoinfo' command will tell me what the resolution is, it doesn't appear that there's any way to capture the output of that command into a variable that I could then parse and test. I would think I could make this work if grub had support for BASH-like syntax: VAR_NAME=$( videoinfo ) Another option would be to use the EDID information to set an environment variable with the current DPI. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?51914> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/ _______________________________________________ Bug-grub mailing list Bug-grub@gnu.org https://lists.gnu.org/mailman/listinfo/bug-grub