(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
On Tue, Dec 11, 2018, 10:11 PM Samuel Sieb wrote:
>
> I also wonder if it's necessary to refresh grub's boot files. Does
> anyone else know if grub upgrades update the boot sectors?
>
BIOS, no update happens, run grub2-install.
UEFI, it's updated. Don't run grub2-install.
(Silverblue, bootloa
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.
Thank-you, Tim. I'll start a new thread on this shortly. - Bill.
___
users mailing list -- users@lists.fedoraproject.org
To unsubscribe send an email to users-le...@lists.fedoraproject.org
Fedora Code of Conduct: https://getfedora.org/code-of-conduct.h
Allegedly, on or about 12 December 2018, home user via users sent:
> Something keeps trying to do automated updates, but I have not been
> able to figure out what, or how to shut it off.
When you log into a GUI session, the GUI can fire off things as you log
in. In MATE, there's a "mate-session-p
(responding to Rick)
I sit corrected on the terminology and parameters. I've been doing the
right things for a few years, but I got it wrong in my last post.
I manually do "dnf upgrade --refresh" (no other options or parameters)
for patches almost every week.
I manually do "dnf system-upgr
On 12/12/18 10:48 AM, home user via users wrote:
> (Ed asked)
>> Has this system been installed at around F18
>> and then upgraded as time goes on?
> It occurs to me that I did not fully answer this. Since dnf was
> released into Fedora, I upgraded Fedora roughly every half year using
> "dnf upgra
I did as Samuel suggested.
The good news: No error messages (re-)appeared before the grub menu
showed up.
The bad news: I did not notice any differences in the grub menu itself;
the font still borders on being too small for me and needing a
magnifying glass.
(Ed asked)
> Has this system been installed at around F18
> and then upgraded as time goes on?
It occurs to me that I did not fully answer this. Since dnf was
released into Fedora, I upgraded Fedora roughly every half year using
"dnf upgrade [etc]". Before that, I upgraded roughly every half y
On 12/11/18 9:59 AM, home user via users wrote:
Now to the greater problem...
When I upgraded to Fedora-28, the text of the grub menu was
significantly down-sized. It also seems to be a (darker?) gray. It is
split into two pieces into the corners of the left side of the left
monitor. It is
(Samuel said)
> I would say to comment out all the lines from 91-98.
Done. Re-booted. No more error messages before the grub menu appears.
Thank-you!
Now to the greater problem...
When I upgraded to Fedora-28, the text of the grub menu was
significantly down-sized. It also seems to be a (d
On 12/10/18 3:51 PM, home user via users wrote:
Rather than deleting lines, I commented them out. It's safer; I can
restore them easily if needed. So now lines 91 to 98 look like this:
---
91 insmod gfxmenu
92 # loadfont ($root)/grub2/themes/system/DejaVuSans-10.pf2
(responding to Ed)
The system was originally installed in early spring of 2013. I would
have used either the then current release, or the immediately preceding
release. I don't recall anything more.
(responding to Samuel)
Rather than deleting lines, I commented them out. It's safer; I can
On 12/9/18 7:39 PM, home user via users wrote:
So it looks to me like I'm missing 3 font files and one text file. How
do I easily get them into the right places so they'll be properly
maintained by weekly "dnf upgrade" updates?
Just delete those lines from the grub config file. As Ed mention
On 12/10/18 7:35 AM, home user via users wrote:
> Hi Samuel,
>
> I see in /etc/grub2.cfg, it says at the top
> ---
> #
> # DO NOT EDIT THIS FILE
> #
> # It is automatically generated by grub2-mkconfig using templates
> # from /etc/grub.d and settings from /etc/default/grub
> #
> ---
(Samuel said)
> Interesting, I don't have any of those files. Check if you do. ...
Results of checking for files referenced in lines 91-98 (done as root):
---
-bash.24[system]: pwd
/boot/grub2/themes/system
-bash.25[system]: ls -la
total 7080
drwxr-xr-x. 2 root root1024 Oct 11 12:
On 12/9/18 3:35 PM, home user via users wrote:
insmod gfxmenu
loadfont ($root)/grub2/themes/system/DejaVuSans-10.pf2
loadfont ($root)/grub2/themes/system/DejaVuSans-12.pf2
loadfont ($root)/grub2/themes/system/DejaVuSans-Bold-14.pf2
loadfont ($root)/grub2/fonts/unicode.pf2
insmod png
set theme=($r
Hi Samuel,
I see in /etc/grub2.cfg, it says at the top
---
#
# DO NOT EDIT THIS FILE
#
# It is automatically generated by grub2-mkconfig using templates
# from /etc/grub.d and settings from /etc/default/grub
#
---
I also see in lines 91-98
---
insmod gfxmenu
lo
On 12/9/18 2:33 PM, home user via users wrote:
1. What is the name and location of that grub config file?
Depending on whether or not you have an EFI system, it's either
/etc/grub2.cfg or /etc/grub2-efi.cfg. Both symlinks exist but only one
of them should be valid.
2. Is there anything I n
Samuel,
1. What is the name and location of that grub config file?
2. Is there anything I need to do after editing the file but before
re-booting?
Thank-you.
Bill.
___
users mailing list -- users@lists.fedoraproject.org
To unsubscribe send an email t
Thank-you for the suggestion, Wolfgang.
I tried "journalctl -n 10" as root.
I did find "boot --", but I saw no hint of the error messages.
I searched for "grub". I searched for "error". No hits.
This is a dual-boot workstation. The error messages show up *before*
the grub menu appears, s
On 12/9/18 3:43 AM, Wolfgang Pfeiffer wrote:
On Sat, Dec 08, 2018 at 08:05:00PM -0700, home user via users wrote:
(Samuel said)
That should be in /boot. Do you have /boot on a separate partition?
How do I determine which partition /boot is in?
The directory mentioned in the error messages is
On Sat, Dec 08, 2018 at 08:05:00PM -0700, home user via users wrote:
(Samuel said)
That should be in /boot. Do you have /boot on a separate partition?
How do I determine which partition /boot is in?
The directory mentioned in the error messages is under /boot as you
said (thank-you!):
-
Thank-you, Joe. /boot is in partition /dev/sda3:
---
-bash.6[boot]: df -h
Filesystem Size Used Avail Use% Mounted on
devtmpfs7.8G 0 7.8G 0% /dev
tmpfs 7.9G 59M 7.8G 1% /dev/shm
tmpfs 7.9G 1.7M 7.9G 1% /run
tmpfs 7.9G 0 7
On 12/08/2018 08:05 PM, home user via users wrote:
How do I determine which partition /boot is in?
Three ways. First, you can look in /etc/fstab and see if it's listed
there. Second, you can do the same with /etc/mtab. Third, you can use
df -h which will not only tell you if there's a par
(Samuel said)
> That should be in /boot. Do you have /boot on a separate partition?
How do I determine which partition /boot is in?
The directory mentioned in the error messages is under /boot as you said
(thank-you!):
---
-bash.2[system]: pwd
/boot/grub2/themes/system
-bash.3[syst
On 12/8/18 9:58 AM, home user via users wrote:
By the way, I cannot find a "/grub2" directory.
That should be in /boot. Do you have /boot on a separate partition?
___
users mailing list -- users@lists.fedoraproject.org
To unsubscribe send an email to
Good morning,
After upgrading from F27 to F28, when booting up, I get a quickly
disappearing set of error messages just before the grub menu shows up.
Then the grub menu shows up in a very small gray font. The error
messages disappear too quickly for me to get the full text of them. But
by
37 matches
Mail list logo
