Am trecut recent la ubuntu/gnome, deoarece mi-am înlocuit laptopul 1920x1200 cu o nouă mașină compatibilă cu 4K: vechea configurație pe care am copiat-o nu s-a ocupat de scalare în mod satisfăcător.
Aproape totul de pe noul sistem corespunde așteptărilor mele, cu excepția lucrurilor legate de gnome-shell, în special orice lucru în care este implicat text – meniuri, notificări, calendar, căutări de prezentare generală… etc.
Am ajuns să urmez niște sfaturi pe care le-am găsit în altă parte, care recomandau să creez un fișier css gnome-shell cu o definiție globală a dimensiunii fontului și să-l adaptez la dezideratele mele.
Fișierul pe care l-am creat ca $HOME/.themes/yaru-dark/gnome-shell/gnome-shell.css
conține următoarele:
etapa {
dimensiunea fontului: 7pt;
culoare: #3D3D3D; }
Dimensiunea mică a punctelor (7 pt) face ca textul care este gestionat de gnome shell să se adapteze perfect cu restul desktopului meu - adică tot ceea ce este gestionat de aplicații.
Problema pe care o am este că, deși preferințele setate prin instrumentul de ajustare par să rămână (setarea gnome-shell încă spune „Yaru-dark”) după o repornire... în realitate, dimensiunea reală a textului gestionat de gnome-shell este resetat la dimensiunea implicită mult mai mare, ca și cum gnome ar fi decis să ignore dimensiunea personalizată a fontului de 7 puncte pe care am definit-o în fișierul .css.
Ca o soluție, am descoperit în curând că, dacă foloseam instrumentul de ajustare pentru a comuta la o altă shell/temă și apoi treceam înapoi la Yaru-dark, totul era înapoi unde ar trebui să fie.
Acest lucru este enervant!
Cum aș putea face această setare personalizată să rămână definitiv?