(on Dec. 20, I said)
> If, after a few days, the grub menu still looks good, I'll
> promote this thread from CLOSED to SOLVED.
After a weekly patching, a few cycles of nightly power-down and morning
power-up, and a few days of regular operational use, I'm confident this
really is fixed. I'm up
Patrick O'Callaghan:
> IIRC it used to be 72.72 (my first job was working on an early
> typesetting system at Cambridge University Press :-) However
> according to Wikipedia a point is now officially 1/72 of an
> "international inch":
>
> https://en.wikipedia.org/wiki/Point_(typography)
I stayed
On Sat, 2018-12-22 at 15:56 +1030, Tim via users wrote:
> Don't believe me? Fire up LibreOffice, try out 12 and 24 point text,
> and look at the on-screen ruler, or print it out.
>
> There's approx 72 of *these* points in an inch.
IIRC it used to be 72.72 (my first job was working on an early
ty
Allegedly, on or about 21 December 2018, Rick Stevens sent:
> Note that "sizes" in most word processors or printing-related things
> are given in points
True. And when done correctly, it's an absolute size. i.e. 12 point
text is always the same size, no matter what it's printed on or
displayed o
On 12/20/18 5:39 PM, home user via users wrote:
> (Rick said)
>> The font(s) used by grub2 shouldbe located in /boot/grub2/fonts
>> ...
>> FONT_FILES in the man page just represents where the source font
>> file is located. For example, to convert the FreeSans.ttf font
>> (which is located in /usr/
On 12/20/18 5:39 PM, home user via users wrote:
Also, I learned the hard way: the size (here, 24) has a different
meaning (units) than the font size in LibreOffice. I actually tried 16
first. That's nice and big in LibreOffice, but it was tiny in the grub
menu.
In LibreOffice, the size is i
(Rick said)
> The font(s) used by grub2 shouldbe located in /boot/grub2/fonts
> ...
> FONT_FILES in the man page just represents where the source font
> file is located. For example, to convert the FreeSans.ttf font
> (which is located in /usr/share/fonts/gnu-free) into a 24-point
> font grub2 can
On 12/20/18 10:04 AM, home user via users wrote:
> (Rick said)
>> Actually, you can change the grub font size. You need to convert a
>> font into the format grub understands (.pf2) using grub2-mkfont, ...
>
> 1. How can I determine what font is currently being used? /etc/grub2.cfg
> mentions "unic
(Rick said)
> Actually, you can change the grub font size. You need to convert a
> font into the format grub understands (.pf2) using grub2-mkfont, ...
1. How can I determine what font is currently being used?
/etc/grub2.cfg mentions "unicode.pf2", but the Fonts tool finds no font
with a name c
On 12/16/18 2:26 PM, home user via users wrote:
> The error messages that appeared before the grub menu are gone. I thank
> those who coached me through the fix.
>
> It seems the size of the font in the grub menu is not under my control.
> Realistically, there's nothing I/we can do about it. So
The error messages that appeared before the grub menu are gone. I thank
those who coached me through the fix.
It seems the size of the font in the grub menu is not under my control.
Realistically, there's nothing I/we can do about it. So I'm closing
this thread.
11 matches
Mail list logo