La police de l'interface d'Ubuntu 20.04 est trop petite après le redémarrage, même avec un facteur d'échelle élevé.

EDIT 2020/10/07

Le bogue a été corrigé dans le paquet mutter (3.36.6-1ubuntu0.20.04.2) , disponible via apt .

Réponse originale

Inspiré par cette répondre J'ai mis en place une solution de contournement temporaire dans ma machine. J'utilise actuellement Ubuntu 20.04.1 avec GNOME Shell 3.36.4.

Cela ne corrige PAS la taille de la police dans l'écran de connexion de GDM, mais seulement après la connexion. Cette astuce permet simplement d'éviter de répéter une séquence ennuyeuse de commandes après chaque redémarrage. Bien sûr, cette astuce ne peut être utile que jusqu'à ce que le bug de Mutter soit corrigé.

1. Créer un script (je l'ai mis dans ~/.local/bin ) avec le contenu suivant :

   sleep 5s
   gsettings set org.gnome.desktop.interface text-scaling-factor 1.01
   sleep 0.5s
   gsettings set org.gnome.desktop.interface text-scaling-factor 1.00

   1.01" n'est qu'un nombre pour déclencher les changements, il peut s'agir de n'importe quelle valeur. J'ai décidé d'utiliser une valeur très proche de la valeur finale. '1.00' est la valeur que je souhaite obtenir à terme. N'hésitez pas à mettre votre valeur cible. Même chose pour les heures de sommeil, vous pouvez les modifier.

2. Le rendre exécutable en cours d'exécution :

   chmod +x ~/.local/bin/fix-font-size.sh

3. Exécutez le script (je l'ai nommé fix-font-size.sh ) au démarrage. Pour cette raison, j'ai lancé l'application Startup Applications Preferences et j'ai créé un nouvel élément avec la commande suivante :

   bash -c "/home/username/.local/bin/fix-font-size.sh"

   Voir également la capture d'écran pour référence (où "Modifica programma d'avvio" signifie "Startup Applications Preferences") :

4. Sauvegardez et vous devriez avoir une police de taille correcte après la connexion sans avoir à insérer manuellement des commandes dans le terminal ou par l'interface graphique.

Comme indiqué dans le rapport de bogue :

Vous pouvez rétrograder temporairement le paquet libmutter comme solution de contournement :

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

N'oubliez pas d'annuler la prise en charge après la sortie du correctif !

Remarque : Uniquement pour les PC équipés d'une carte graphique NVIDIA.

J'ai installé Ubuntu 20.04 LTS hier et j'ai rencontré exactement le même problème. Ce problème et chaque fois que je ferme et rouvre le couvercle de mon ordinateur portable, le fond d'écran est corrompu, mais c'est une toute autre question. Après quelques essais, j'ai trouvé comment résoudre ce problème. Tout ce que vous avez à faire est de changer le pilote graphique de Pilote binaire NVIDIA a Serveur X.Org X dans le Conducteurs supplémentaires section sous Logiciels et mises à jour (N'oubliez pas de cliquer sur Appliquer les changements (ce qui prendra un certain temps). Une fois les modifications appliquées, redémarrez votre PC. Cette opération a permis de résoudre le problème et l'autre bogue que j'ai mentionné plus haut.

Santé !

La méthode ci-dessus est une solution permanente. Si vous souhaitez utiliser le NVIDIA pilote, je pense que vous devrez attendre que les développeurs publient un correctif.

J'ai également trouvé ce correctif temporaire (pour le bogue en question, pas celui que j'ai mentionné ci-dessus). Vous devrez le faire à chaque fois que vous redémarrez. C'est si vous voulez vraiment garder votre NVIDIA conducteur.

Aller à Paramètres>Accès universel et activer et désactiver Grand texte . Cela vous montrera à quoi Ubuntu est censé ressembler.

Encore une fois, bravo !

Comme il s'agit d'un bogue, ainsi que cela a été joliment décrit aquí par stefg-bz, nous devrons attendre un peu jusqu'à ce qu'il soit corrigé. En attendant, vous pouvez utiliser une solution de contournement, comme suggéré aquí de Lorenz Keel, qui modifie automatiquement le facteur d'échelle et le rétablit lorsque vous vous connectez. Ici, je fournis mon implémentation de la solution de contournement, qui ne nécessite pas l'installation d'outils supplémentaires et d'un script séparé.

1 Créer un .desktop file dans votre dossier de démarrage automatique.

gedit ~/.config/autostart/workaround_font_scaling.desktop

2 Collez le contenu suivant dans le fichier texte

[Desktop Entry]
Exec=/usr/bin/sh -c "sleep 1 && gsettings reset org.gnome.desktop.interface text-scaling-factor && gsettings set org.gnome.desktop.interface text-scaling-factor 1.2" 
Name=Fontissue
StartupNotify=false
Type=Application

Adapter le contenu de la page Exec= à vos besoins.

• Changer 1.2 en org.gnome.desktop.interface text-scaling-factor 1.2 au facteur d'échelle de la police que vous utilisez vous-même.
• Changer 1 en sleep 1 à une valeur plus élevée si le réglage n'est pas (toujours) appliqué correctement après la connexion. sleep 1 prévoit un délai d'une seconde avant que le gsettings entre en action. Par exemple, 1.5 rendrait le délai de 1,5 seconde.

3 Enregistrer le fichier et fermer l'éditeur