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