Changer les polices Linux GNOME Desktop est plus facile que vous ne le pensez

GNOME est l’un des environnements de bureau les plus anciens et les plus populaires pour les systèmes d’exploitation libres et à source ouverte. L'interface a la réputation d'être simple et facile à utiliser, presque sans faute. De nombreux utilisateurs de Linux, en particulier, souhaitent personnaliser chaque aspect de leur bureau, et GNOME ne fournit pas beaucoup d'options prêtes à l'emploi..

Mais GNOME est réellement très convivial. Téléchargement des extensions GNOME 8 Des extensions shell GNOME qui améliorent l'interface 8 Des extensions shell GNOME qui améliorent l'interface Après avoir utilisé GNOME pendant un moment, vous souhaiterez peut-être modifier quelques éléments du mode vue d'ensemble, voire modifier le panneau. Ces huit extensions vous aident à faire exactement cela! En savoir plus et installer l'outil GNOME Tweak Configurer votre ordinateur Gnome 3 avec Gnome Tweak Configurer votre ordinateur Gnome 3 avec Gnome Tweak . Si vous faites partie de ceux qui ne supportent pas GNOME 3 tant que vous ne pouvez pas… Lire la suite, vous n'avez plus qu'à faire pour changer radicalement ce que vous voyez à l'écran. Sauf qu'il y a un oubli géant, apparemment évident. Ces outils ne vous permettent pas de changer toutes les polices.

Heureusement, il existe un moyen de changer les polices restantes de GNOME Shell, et la solution ne consiste pas à plonger dans le terminal ni à modifier les fichiers existants..

Comment changer la plupart des polices dans GNOME

Commencez par télécharger l’outil Tweak de GNOME à partir de l’app store de votre choix. Linux App Stores comparés: lequel vous convient le mieux? App Stores Linux comparés: lequel vous convient le mieux? Les utilisateurs Windows sont dirigés vers un magasin d'applications. macOS en a un depuis un moment. Linux, quant à lui, a une expérience de type magasin d’applications depuis des années. Mais lequel est le bon pour vous? Lire la suite . Considérez cela comme un contrôle de mission pour la personnalisation de votre bureau GNOME. Ici, vous pouvez gérer des thèmes, basculer des extensions et modifier le nombre d'espaces de travail, pour ne nommer que quelques fonctionnalités. Vous pouvez également changer les polices.

La barre latérale de l'outil GNOME Tweak contient de nombreux aspects de votre bureau que vous êtes libre de manipuler. Pour modifier le texte, allez à la section Polices. Vous y trouverez quatre catégories de polices à basculer..

1. Titres de fenêtre - Ceci est le texte qui apparaît en haut de vos applications. Dans gedit, c'est le nom d'un document. Dans GNOME Web, il s’agit du site Web actuel. Pour de nombreuses applications plus anciennes, la barre de titre contient simplement leur nom..
2. Interface - Ceci est le texte qui apparaît dans une application. Lorsque vous ouvrez des fichiers GNOME, il s'agit de la barre latérale et des étiquettes sous vos dossiers. Cela inclut le texte qui apparaît dans les onglets de votre navigateur Web ou dans les menus que vous ouvrez..
3. Les documents - Cela fait référence au texte qui apparaît dans les nouveaux documents tels que ceux de votre éditeur de texte. Cela n’affecte pas LibreOffice, qui a son propre jeu de valeurs par défaut. D'autre part, la sélection ici peut également avoir une incidence sur ce que vous voyez dans les clients de messagerie de bureau..
4. Monospace - Ceci est le texte qui apparaît dans votre terminal. Vous n'êtes pas obligé d'utiliser une police monospace (où chaque caractère occupe la même quantité d'espace horizontal), mais cela peut rendre le texte de code plus facile à lire dans les cas où la précision compte vraiment..

Sous ces options, vous pouvez également ajuster allusion, nécessaire pour rendre les polices lisibles sur des moniteurs basse résolution. Les options vont de peu ou pas au complet. Puis il y a anti crénelage, une technique utilisée pour réduire les artefacts visuels résultant de l'affichage d'un contenu haute résolution à une résolution inférieure. Les deux paramètres ont une incidence sur la lisibilité du texte à l'écran. Vous pouvez les désactiver, mais on souhaite généralement un certain degré d'allusion et d'anti-aliasing pour les polices attrayantes..

Enfin, il y a mise à l'échelle, un moyen d’augmenter la taille de tout le texte pour s’adapter aux écrans HiDPI. La taille par défaut est 1,00. Vous pouvez ajuster ce nombre à votre guise, 2.00 doublant ainsi la taille du texte à l'écran. Vous pouvez aller plus haut, mais vous voudrez probablement un chiffre quelque part entre ces deux. La mise à l'échelle, contrairement à l'augmentation de la taille de la police, vous permet d'augmenter la taille du texte sans altérer autant d'aspects de l'interface utilisateur.

Qu'en est-il du shell GNOME??

GNOME Shell est l'interface qui lance les applications et gère les fenêtres. Il comprend le panneau qui se trouve en haut de votre écran et tous les éléments de la vue d'ensemble des activités. GNOME a expliqué: l'un des ordinateurs de bureau les plus populaires de Linux. GNOME a expliqué: l'un des ordinateurs de bureau les plus populaires de Linux. Linux, et vous avez rencontré "GNOME", un acronyme pour GNU Network Object Model Environment. GNOME est l'une des interfaces open source les plus populaires, mais qu'est-ce que cela signifie? Lire la suite . GNOME Tweak Tool ne bascule pas les polices pour tout aspect du shell GNOME.

Vous pouvez changer chaque catégorie énumérée ci-dessus, y compris Interface, et le shell GNOME conservera la police par défaut (Cantarell). Cela peut paraître déroutant, mais l'outil GNOME Tweak n'est pas une application GNOME officielle. C'est un outil tiers qui se heurte aux limites de la conception de l'environnement de bureau..

Certains paramètres de configuration GNOME sont accessibles via dconf. Il est facile de modifier ces variables une fois que vous, ou une application que vous utilisez, savez où chercher. GNOME Shell ne charge pas les polices de cette zone. Au lieu de cela, il recherche un fichier CSS dans votre thème actuel. Pour changer de police, vous devez changer de thème..

Heureusement, vous pouvez créer une version du thème par défaut qui utilise une police de remplacement avec un minimum d'effort..

Tout d’abord, créez un fichier appelé gnome-shell.css à ~ / .local / share / themes / ThemeName / gnome-shell /. Ces dossiers n'existent probablement pas déjà. Vous devrez donc peut-être les créer manuellement..

Puis entrez ce texte dans le fichier gnome-shell.css:

stage font-family: Liberation Sans; taille de police: 14 pts;  

Cet exemple utilise la police Liberation Sans, comparable à Arial sous Windows. Vous pouvez remplacer le nom de toute autre police installée sur votre système. N'hésitez pas à expérimenter avec la taille, aussi.

Pour activer les modifications, sélectionnez un nouveau thème à l'aide de l'outil GNOME Tweak. Si l'extension thèmes utilisateur n'est pas déjà installée, vous devez d'abord la télécharger. Assurez-vous qu'il est actif dans la section Extensions. Ensuite, vous pouvez sélectionner votre thème dans la section Apparence, qui est le premier écran affiché par l'outil GNOME Teak au lancement..

Le changement se produira tout de suite - pas besoin de redémarrer votre ordinateur!

Les polices font un beau thème

GNOME est livré avec une ambiance bizarre et la police par défaut fait partie de cette image. Si vous n'êtes pas un fan, cela peut nuire à votre impression de l'expérience. Après tout, l’essentiel de ce qui fait que macOS est considéré comme beau peut être attribué à la qualité des polices..

Vous n'êtes pas non plus limité aux polices fournies avec GNOME. Vous pouvez installer de nouvelles polices. Voulez-vous de superbes polices gratuites? Voici plus de 25 sites où vous les trouverez Vous voulez de superbes polices gratuites? Voici plus de 25 sites où vous les trouverez Plutôt que de parcourir des centaines de polices, voici quelques sites qui vous aideront à suivre toutes les nouvelles polices que vous voudrez utiliser dans votre prochain dessin. Lisez Plus en les plaçant dans votre ~ / .fonts dossier ou / usr / share / fonts. Ce dernier emplacement rend les polices disponibles pour tous les utilisateurs de votre ordinateur..

Que pensez-vous de la police par défaut de GNOME? Avez-vous longtemps voulu le changer? Qu'en est-il des polices Linux en général? J'ai des pensées, mais quelles sont les tiennes?

En savoir plus sur: Polices, GNOME Shell.