Hello,
On 2023/02/25 09:14:19 -0500, "Ariel Popper" wrote:
> Ping? Feedback?
>
> On Sat Jan 14, 2023 at 1:17 PM EST, Ariel Popper wrote:
> > I thought I would share this with anyone who might be interested. I
> > notice that there are a few of the patched "Nerd Fonts" already in
> > ports, but
Ping? Feedback?
On Sat Jan 14, 2023 at 1:17 PM EST, Ariel Popper wrote:
> I thought I would share this with anyone who might be interested. I
> notice that there are a few of the patched "Nerd Fonts" already in
> ports, but there are some programs (like x11/kitty) which can pick up
> symbols
I thought I would share this with anyone who might be interested. I
notice that there are a few of the patched "Nerd Fonts" already in
ports, but there are some programs (like x11/kitty) which can pick up
symbols automagically from this font without requiring patched fonts.
I've been using this