[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: |
Sun, 25 Oct 2020 17:19:47 +0200 |
> From: Michael Albinus <michael.albinus@gmx.de>
> Cc: larsi@gnus.org, emacs-devel@gnu.org
> Date: Sun, 25 Oct 2020 12:47:40 +0100
>
> >> > 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?
>
> Yes, we can only give examples of font packages for Debian and Red Hat
> (and maybe other major distributions). Likely, this is too special for
> the INSTALL file, and we shall add this information to efaq.texi?
Yes, I think so.
- Re: tofu-help-mode, (continued)
- 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, 2020/10/23
- Re: Suggest installing more fonts?, Michael Albinus, 2020/10/25
- Re: Suggest installing more fonts?,
Eli Zaretskii <=
- 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
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/22
- Re: Suggest installing more fonts?, Rasmus, 2020/10/21