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.
https://hev.cc/3017.html
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
--
Remind me to ignore comments which aren't germane to the thread.
_______________________________________________
users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx
Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: https://lists.fedoraproject.org/archives/list/users@xxxxxxxxxxxxxxxxxxxxxxx
Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
