Request better Arabic font for Ubuntu 20.04

That may be the case. Also, some Arabic users prefer English in terminal anyway. This topic comes to mind.

That was useful input. gnome-terminal has also other issues with non-latin scripts, e.g. some Indian scripts.

Ok. Still some progress (i.e. it works without binding="strong" for sans-serif).

As a last attempt I uploaded a new variant to the PPA where I added back the monospace section including binding="strong" for monospace only. Any chance you can install that variant and see if it helps wrt gnome-terminal?

(If you haven’t yet got permission to post here, please feel free to send me an email to gunnarhj@ubuntu.com.)