[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 20:56:06 +0300 |
> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: Lars Ingebrigtsen <larsi@gnus.org>, ghe@sdf.org, emacs-devel@gnu.org
> Date: Fri, 23 Oct 2020 10:59:02 -0400
>
> > You mean, a Debian user cannot simply download font files and install
> > them? Are Debian users forced to use "apt get" etc.? I'm surprised.
>
> As a Debian user, I do think that I can "download font files and install
> them" and there's a good chance I can even do that "simply", but I have
> never needed to do that and would have to search for info about how to
> do it and I wouldn't be satisfied with the result because now those
> fonts wouldn't be kept up-to-date by the usual mechanisms.
>
> So, while I'm not "forced" to use `apt`, I would first and foremost want
> to use `apt` and only resort to another solution if there's no
> other solution.
So Debian users are even less "free" in this regard than MS-Windows
users? That's sad, isn't it?
- Re: Suggest installing more fonts?, (continued)
- 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
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/23
- Re: Suggest installing more fonts?, Robert Pluim, 2020/10/23
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/23
- Re: Suggest installing more fonts?, Robert Pluim, 2020/10/24
- 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 <=
- 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?, 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