Customizing Your Shell

Re:Customizing Your Shell by hprotagonist on Friday April 17, 2020 @09:35AM (#22898846)

I’d recommend against using ligature fonts in your shell. If there’s one place you don’t want any ambiguity about what glyph you’re using, it’s in the middle of sed, awk, or grep.

Programming code has special semantic considerations. Ligatures in programming fonts are likely to either misrepresent the meaning of the code, or cause miscues among readers. So in the end, even if they’re cute, the risk of error isn’t worth it.

https://practicaltypography.com/ligatures-in-programming-fon...

[ Parent | on HN ]

Re:Customizing Your Shell by akvadrako on Friday April 17, 2020 @10:58AM (#22899507)

I have been using ligatures in my shell and editor for a few months and haven't had any issues.

I do recommend it; the only issue is now I'm a bit lazier. For example, instead of making proper arrows like →, I just type ->, which looks good to me in monospace font, but looks different to everyone else.

[ Parent | on HN ]

Re:Customizing Your Shell by RMPR on Friday April 17, 2020 @10:23AM (#22899204)

Besides that, messing around with fonts is not really the kind of experience you want to reproduce each time you install a new OS.

[ Parent | on HN ]