[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Suggest installing more fonts?
From: |
Stefan Monnier |
Subject: |
Re: Suggest installing more fonts? |
Date: |
Fri, 23 Oct 2020 14:36:28 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> Which is sub-optimal, since it sounds like the facilities to search
> the DB of installable packages is limited, whereas the facilities we
> have for finding fonts on the Internet are very powerful and accurate.
> So the ability to download a font and install it sounds very useful.
Oh, the escape hatch exists. It's just that Debian users normally
prefer to use the other, more controlled (and hence limited) way.
Stefan
- Re: Suggest installing more fonts?, (continued)
- Re: Suggest installing more fonts?, Lars Ingebrigtsen, 2020/10/23
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/23
- Re: Suggest installing more fonts?, Stefan Monnier, 2020/10/23
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/23
- Re: Suggest installing more fonts?, Stefan Monnier, 2020/10/23
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/23
- Re: Suggest installing more fonts?,
Stefan Monnier <=
- Re: Suggest installing more fonts?, Gregory Heytings, 2020/10/23
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/22
- Re: Suggest installing more fonts?, Gregory Heytings, 2020/10/22
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/22
- Re: Suggest installing more fonts?, Gregory Heytings, 2020/10/22
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/22
Re: Suggest installing more fonts?, Stefan Monnier, 2020/10/16