On 24/05/2021 05:42, Matthew Miller wrote:
On Sun, May 23, 2021 at 04:22:05AM -0400, Eddie O'Connor wrote:
I use the various apps and programs, to help my vision. I have opened the Terminal and have tried to change the font to something, ANYTHING "bold"?....but there's no bold fonts options. there's the Sans and Monospace, but no Monospace "Bold". I've tried installing the font, but even though it appears as an option with Gnome Tweaks?...and I've set it
The GUI in terminal looks like it just shows the regular version of monospace fonts as options. That's probably the right thing in most circumstances. However, I looked with dconf, the GNOME configuration editor GUI, and found in org.gnome.Terminal.Legacy.profiles and then down in the actual profile a "font" setting which says "A Pango font name and size", and you can just edit that to something like JetBrains Mono Bold 15" or whatever and that seems to work just fine.
Well, I'm not a regular GNOME user. But I followed this procedure.
In this way....
[egreshko@f34g ~]$ dconf dump /org/gnome/terminal/legacy/[profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9] font='DejaVu Sans Mono 12' use-system-font=false visible-name='My Default'
[egreshko@f34g ~]$ dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/font "'Monospace Bold 20'"
And, while it "took", there was no "bold" text shown. Meaning, there was no difference between
Monospace Bold 20 and Monospace 20
FWIW, it would seem that the Bold selection was removed sometime after version 3.36. My F32 VM has the ability and I can see the difference if I perform the same functions on it.
gnome-terminal-3.36.1.1-1.fc32.x86_64