24 May
2021
24 May
'21
5:25 p.m.
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.