Your message dated Wed, 15 Feb 2023 17:24:38 +0100
with message-id <[email protected]>
and subject line Re: Bug#1029707: Maybe set DejaVu Sans Mono as default font
for Arabic
has caused the Debian Bug report #1029707,
regarding Maybe set DejaVu Sans Mono as default font for Arabic
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1029707: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1029707
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: src:gnome-terminal
Version: 3.46.7-1
Ubuntu just added a patch to set DejaVu Sans Mono as the default font in
gnome-terminal for Arabic users. Related discussions:
https://discourse.ubuntu.com/t/33413
https://launchpad.net/bugs/2002290
For other users and applications Ubuntu uses Ubuntu Mono by default for
the desktop, but that font has proved to result in poor rendering in
terminal of Arabic script. Even if Debian does not have Ubuntu Mono, it
struck me that there may still be a need to include the patch in Debian.
Debian currently uses "Monospace" by default, which means — if I
understand it correctly — that it queries fontconfig:
$ fc-match monospace
NotoSansMono-Regular.ttf: "Noto Sans Mono" "Regular"
It looks like the Noto fonts are present in Debian since they are pulled
by libreoffice, and Noto is given higher precedence than DejaVu by the
font configuration.
In the above linked discourse topic M.Hanny Sabbagh let us know that he
has tested multiple monospace fonts in gnome-terminal, and that all of
them — except for DejaVu Sans Mono — suffer from the rendering issue
(spaces between letters + overlapping of some letters). I have asked if
Noto Sans Mono was one of the fonts he tested.
If the issue is present also with Noto Sans Mono, I would recommend that
we include the above mentioned gnome-terminal patch in Debian too.
--
Cheers,
Gunnar
--- End Message ---
--- Begin Message ---
A rewritten patch has been added in Ubuntu only:
https://salsa.debian.org/gnome-team/gnome-terminal/-/commit/16b3db1b
Closing this bug based on the above discussion and this follow-up
discussion on #debian-gnome:
<GunnarHj> Hi smcv, are you ready for a final decision about
https://bugs.debian.org/1029707 ? The MR (targeting Ubuntu) includes
some improvements after review.
<smcv> GunnarHj: my inclination is to say that if you want to patch this
in Ubuntu, that's up to Ubuntu, but I don't think the cost:benefit ratio
is suitable for also patching this in Debian
<GunnarHj> smcv: Ok, then I know, and will close the bug later. Thanks
for considering it.
<smcv> I can see that it's a more serious bug in Ubuntu, given Ubuntu's
different default font
<smcv> but I think when Debian's default configuration is believed to
work well, divergence from upstream + ignoring user configuration is too
high a price
<GunnarHj> smcv: Indeed it's more important in Ubuntu. I understand and
respect the trade-off you do from a Debian POV.
<smcv> I did make sure to cc debian-l10n-arabic to give them an
opportunity to say "actually we want this too", but I haven't seen a
response from there
--
Cheers,
Gunnar
--- End Message ---
