[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Suggest installing more fonts?
From: |
Eli Zaretskii |
Subject: |
Re: Suggest installing more fonts? |
Date: |
Fri, 23 Oct 2020 21:13:15 +0300 |
> From: Michael Albinus <michael.albinus@gmx.de>
> Cc: larsi@gnus.org, emacs-devel@gnu.org
> Date: Fri, 23 Oct 2020 18:53:17 +0200
>
> > Sorry, I thought you meant intlfonts, not efaq. So now could you
> > elaborate on what kind of reference did you have in mind and to what
> > information?
>
> Something like
>
> See the Emacs Frequently Asked Questions manual "(efaq) How to add
> fonts" for installation instructions.
OK, except "manual" is wrong here. The FAQ is not a manual.
> >> No reason. I just wanted to show how to install such fonts for major
> >> GNU/Linux distros, using apt or dnf. And maybe also for other target
> >> systems.
> >
> > We could also use a neutral name like "apt get FONT ...", couldn't we?
>
> Hmm. The problem is, that the majority of users doesn't know what to
> replace FONT with.
But then the instructions you show cannot be applied if the name of
the font changes?
- Re: Suggest installing more fonts?, (continued)
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/21
- tofu-help-mode (was: Suggest installing more fonts?), Stefan Monnier, 2020/10/21
- Re: tofu-help-mode, Lars Ingebrigtsen, 2020/10/22
- Re: tofu-help-mode, Stefan Monnier, 2020/10/22
- Re: tofu-help-mode, Lars Ingebrigtsen, 2020/10/23
- Re: Suggest installing more fonts?, Michael Albinus, 2020/10/21
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/21
- Re: Suggest installing more fonts?, Michael Albinus, 2020/10/22
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/22
- Re: Suggest installing more fonts?, Michael Albinus, 2020/10/23
- Re: Suggest installing more fonts?,
Eli Zaretskii <=
- Re: Suggest installing more fonts?, Michael Albinus, 2020/10/25
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/25
- Re: Suggest installing more fonts?, Juri Linkov, 2020/10/21
- Re: Suggest installing more fonts?, Basil L. Contovounesios, 2020/10/21
- Re: Suggest installing more fonts?, Lars Ingebrigtsen, 2020/10/21
- Re: Suggest installing more fonts?, Stephen Berman, 2020/10/21
- 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