On 24/05/2021 23:05, Matthew Miller wrote:
> On Mon, May 24, 2021 at 10:51:57PM +0800, Ed Greshko wrote:
>> Interesting.  Yes, that one works.  Although the bolding when picking size 20 seems rather slight.
>> But no difference with Monospace.
> Yeah, I'm not sure about that.

Oh, BTW, I realized there is a way to change Monospace to Bold in a terminal without having to select
the bold font in any settings.

Just adjust your $PS1 environment variable.

PS1="\e[1;1m[\u@\h \W]\$ "

for example.

--
Remind me to ignore comments which aren't germane to the thread.
_______________________________________________
users mailing list -- users@lists.fedoraproject.org
To unsubscribe send an email to users-leave@lists.fedoraproject.org
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@lists.fedoraproject.org
Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure