Personnaliser les polices GNOME sur Linux : un guide simple et efficace

GNOME est l'un des environnements de bureau les plus populaires et durables pour les systèmes Linux open source. Reconnu pour son interface intuitive et épurée, il séduit par sa simplicité. Pourtant, de nombreux utilisateurs Linux aspirent à une personnalisation poussée, et les options natives de GNOME restent limitées.

GNOME offre en réalité une grande flexibilité. En installant l'outil GNOME Tweaks et quelques extensions, vous pouvez transformer radicalement l'apparence de votre bureau. Cependant, un aspect clé échappe souvent à ces outils : la modification complète des polices.

Heureusement, il existe une méthode simple pour personnaliser les polices restantes du GNOME Shell, sans recourir au terminal ni modifier des fichiers système.

Comment changer la plupart des polices dans GNOME

Installez d'abord GNOME Tweaks via votre gestionnaire de paquets ou la boutique d'applications. Cet outil indispensable permet de gérer les thèmes, extensions, espaces de travail et bien plus, y compris les polices.

Dans la barre latérale de GNOME Tweaks, accédez à la section Polices. Vous y trouverez quatre catégories principales :

1. Titres des fenêtres : Texte en haut des applications (nom de document dans gedit, titre de page dans GNOME Web, etc.).
2. Interface : Texte à l'intérieur des apps (barres latérales, étiquettes, onglets de navigateur, menus).
3. Documents : Texte des nouveaux documents (éditeurs texte, clients mail ; ne concerne pas LibreOffice).
4. Monospace : Police du terminal. Privilégiez une police à espacement fixe pour une meilleure lisibilité du code.

Sous ces options, ajustez les indices (hinting) pour les écrans basse résolution (de « Aucun » à « Plein ») et l'anticrénelage pour lisser les contours. Activez-les généralement pour une lisibilité optimale.

Enfin, utilisez la mise à l'échelle (1,00 par défaut) pour agrandir le texte sur écrans HiDPI, sans déformer l'interface.

Et le GNOME Shell ?

Le GNOME Shell gère le panneau supérieur et la vue d'ensemble des activités. GNOME Tweaks n'affecte pas ses polices (toujours Cantarell par défaut).

Pour les changer, modifiez le fichier CSS du thème. Créez un dossier ~/.local/share/themes/VotreThème/gnome-shell/ et un fichier gnome-shell.css dedans :

stage {
  font-family: Liberation Sans;
  font-size: 14pt;
}

Remplacez par votre police installée et ajustez la taille. Installez l'extension « Thèmes d'utilisateur » si nécessaire, activez-la, puis sélectionnez votre thème dans GNOME Tweaks > Apparence. Les changements s'appliquent instantanément !

Les polices font le thème

La police Cantarell définit l'esthétique de GNOME. Pour en changer, installez de nouvelles polices dans ~/.fonts (utilisateur) ou /usr/share/fonts (système).

Quelle est votre police préférée sur Linux ? Avez-vous déjà personnalisé GNOME ? Partagez vos avis !