Oh, yes! Thank you for your corrections. On Mon, May 8, 2023 at 7:29 PM Jean Abou Samra <jean@xxxxxxxxxxxxx> wrote: > > > > > Le 8 mai 2023 à 09:42, Akira TAGOH <akira@xxxxxxxxx> a écrit : > > > > Not particularly, but as per the trends. > > > > In general, you can put this into your > > $HOME/config/fontconfig/fonts.conf > > > (I believe you meant $HOME/.config/... ) -- Akira TAGOH
