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@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
