[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 10:59:02 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> 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.
Stefan
- Re: Suggest installing more fonts?, (continued)
- 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
- 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 <=
- 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?, 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