[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Suggest installing more fonts?
From: |
Lars Ingebrigtsen |
Subject: |
Re: Suggest installing more fonts? |
Date: |
Thu, 22 Oct 2020 13:32:09 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
> Uninstall Unifont (which I thought we agreed shouldn't be used), then
> try again.
And now the HELLO file looks even nicer. :-)
> And are we okay with telling people to install Noto fonts? There are
> a lot of fonts in that collection, I'm not sure they are really
> needed. For example, do modern GNU/Linux systems really come without
> CJK fonts?
"Install noto-core" is simple advice to give to users, and will fix
their problems, so I don't see why not.
> Also, if this is the way we want to go, we should have separate advice
> for MS-Windows users, where there are several system specific issues
> regarding font search by Emacs, and many users are unable to install
> fonts system-wide due to fascist corporation policies.
Sure. Like I said, it depends how much work we want to put into this.
We don't need to have a perfect list of all scripts/systems, just
some... guidance... for the systems we decide to care about.
> That is why I would propose a general advice that doesn't name
> specific fonts. It is easy to find fonts for a known script nowadays.
Not my experience on Debian systems, really.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: Suggest installing more fonts?, (continued)
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/21
- Re: Suggest installing more fonts?, Rasmus, 2020/10/21
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/21
- Re: Suggest installing more fonts?, Rasmus, 2020/10/22
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/22
- Re: Suggest installing more fonts?, Rasmus, 2020/10/21
- Re: Suggest installing more fonts?,
Lars Ingebrigtsen <=
- Re: Suggest installing more fonts?, Gregory Heytings, 2020/10/22
- Re: Suggest installing more fonts?, Lars Ingebrigtsen, 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?, Richard Stallman, 2020/10/22
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/23
- Re: Suggest installing more fonts?, Andreas Schwab, 2020/10/23
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/23
- Re: Suggest installing more fonts?, Andreas Schwab, 2020/10/23
- Re: Suggest installing more fonts?, Stefan Monnier, 2020/10/23