Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 08/09/2020, à 14:49

VolPie69

[Résolu]Taille de la police de bureau Gnome 3 Ubuntu 20.04.1 LTS

Bonjour à tous,
En espérant votre indulgence, malgré mon âge, c'est ma première demande d'aide sur ce forum.
Voilà mon soucis :
Suite à une mise à jour récente du 20.04 Lts, lors de l'ouverture de mon bureau après un boot, la police de mes icônes bureau sont minuscules... Mes lunettes ne suffisent plus...
Le remède : Paramètres/Accès universel je coche Grand texte (là, c'est vraiment trop gros...) et je décoche Grand texte et là Ô miracle la taille de la police est parfaite.
Donc à chaque démarrage je dois faire cette manipulation, si quelqu'un pense avoir une idée, pour corriger cela merci d'avance.

Ci-dessous mes caractéristiques :
Acer Aspire 7739G
Ram 4Go
CPU I3 M380 x4c
Geforce 610M
Ubuntu 20.04.1LTS
Gnome 3.36.3

Dernière modification par VolPie69 (Le 10/09/2020, à 09:17)

Hors ligne

#2 Le 09/09/2020, à 21:36

Hellcolik

Re : [Résolu]Taille de la police de bureau Gnome 3 Ubuntu 20.04.1 LTS

Bonjour, j'avais le même problème ce matin et j'ai trouvé ce thread qui parle d'un bug avec le paquet libmutter.

sudo apt install libmutter-6-0=3.36.1-3ubuntu3 gir1.2-mutter-6=3.36.1-3ubuntu3 
sudo apt-mark hold libmutter-6-0

La première commande downgrade le paquet et la deuxième empêche sa mise à jour lors des futures mise à jour Ubuntu, encore d'après le même thread.

Hors ligne

#3 Le 09/09/2020, à 22:39

lool_lauris

Re : [Résolu]Taille de la police de bureau Gnome 3 Ubuntu 20.04.1 LTS

Salut,

J'avais le même problème.
Merci pour la piste.


Soutenez le Libre => http://www.april.org/

Hors ligne

#4 Le 10/09/2020, à 09:02

VolPie69

Re : [Résolu]Taille de la police de bureau Gnome 3 Ubuntu 20.04.1 LTS

Merci Hellcolik, je fais la manip et vous tiens informé.
Pierre

Hors ligne

#5 Le 10/09/2020, à 09:09

VolPie69

Re : [Résolu]Taille de la police de bureau Gnome 3 Ubuntu 20.04.1 LTS

Et bien c'est parfait pour moi, mon soucis est bien résolu avec ces deux lignes de commandes, merci encore Hellcolik !

Hors ligne