Modification des polices de bureau gnome linux est plus facile que vous pensez

GNOME est l`un des plus anciens environnements de bureau et les plus populaires pour les systèmes d`exploitation libres et open source. L`interface a la réputation d`être simple et facile à utiliser, presque à une faute. De nombreux utilisateurs de Linux en particulier veulent personnaliser tous les aspects de leur bureau, et GNOME ne fournit pas beaucoup d`options de la boîte.

Mais GNOME est en fait la personnalisation très sympathique. Télécharger des extensions GNOME et l`installation du GNOME Tweak Tool sont tout ce que vous devez faire pour changer radicalement ce que vous voyez à l`écran. Sauf il y a un géant, la surveillance semble évidente. Ces outils ne permettent pas de changer toutes les polices.8 GNOME Shell Extensions qui améliorent l`interface8 GNOME Shell Extensions qui améliorent l`interfaceAprès avoir utilisé GNOME pendant un certain temps, vous voudrez peut-être changer quelques petites choses sur le mode d`aperçu, ou même modifier le panneau. Ces huit extensions vous aider à le faire!Lire la suite

Heureusement, il y a un moyen de changer les polices restantes GNOME Shell, et la solution n`implique pas plonger dans le terminal ou la modification des fichiers existants.

Comment modifier la plupart des polices de caractères dans GNOME

Commencez par télécharger le GNOME Tweak Tool de votre magasin d`applications de choix. Pensez à ce que le contrôle de la mission pour personnaliser votre bureau GNOME. Ici, vous pouvez gérer les thèmes, extensions activer et modifier le nombre d`espaces de travail, pour ne nommer que quelques caractéristiques. Vous pouvez également modifier les polices.Linux App Store Comparés: Ce qui est bon pour vous?Linux App Store Comparés: Ce qui est bon pour vous?Les utilisateurs de Windows sont guidés vers un magasin d`application. macOS a eu un pendant un certain temps. Linux, quant à lui, a eu une expérience de style App Store depuis des années. Mais que l`on est bon pour vous?Lire la suite

La barre latérale de GNOME Tweak Tool est emballé avec des aspects de votre bureau que vous êtes libre de manipuler. Pour modifier le texte, la tête à la section Polices. Vous y trouverez quatre catégories de polices pour basculer.

  1. Titres de fenêtre - Ceci est le texte qui apparaît en haut de vos applications. En gedit, c`est le nom d`un document. Dans GNOME Web, c`est le site actuel. Pour de nombreuses applications plus anciennes, contient simplement la barre de titre leur nom.
  2. Interface - Ceci est le texte qui apparaît dans une application. Lorsque vous ouvrez GNOME fichiers, c`est la barre latérale et les étiquettes sous vos dossiers. Cela inclut le texte qui apparaît dans des onglets dans votre navigateur Web ou des menus que vous ouvrez.
  3. documents - Cela fait référence au texte qui apparaît dans de nouveaux documents tels que ceux de votre éditeur de texte. Cela ne touche pas LibreOffice, qui a son propre ensemble de valeurs par défaut. D`autre part, la sélection ici peut également avoir un impact ce que vous voyez dans les clients de messagerie de bureau.
  4. monospace - Ceci est le texte qui apparaît dans votre terminal. Vous ne devez pas utiliser une police Monospace (celui où chaque personnage prend la même quantité d`espace horizontal), mais cela peut donc faciliter la lecture du texte de code dans les cas où être précis qui est vraiment important.

Sous ces options, vous pouvez également régler laissant entendre, qui est nécessaire pour rendre les polices lisibles sur les écrans à faible résolution. Les options vont de pas ou peu faisant allusion à plein. Ensuite, il y a anti crénelage, une technique utilisée pour réduire les artefacts visuels qui résultent de l`affichage du contenu à haute résolution à une résolution inférieure. Les deux paramètres influent sur la façon dont le texte est lisible sur votre écran. Vous pouvez les désactiver, mais en général un certain degré de laissant entendre et anti-aliasing est souhaitée pour les polices attrayantes.

Enfin, il y a mise à l`échelle, un moyen d`augmenter la taille de tous les textes pour s`adapter affiche HiDPI. 1,00 est la taille par défaut. Vous pouvez régler ce nombre comme bon vous semble, avec 2,00 doublant la taille du texte à l`écran. Vous pouvez aller plus haut, mais vous aurez probablement envie d`un nombre quelque part entre ces deux. Mise à l`échelle, contrairement à l`augmentation de la taille de la police, vous permet d`augmenter la taille du texte sans déformer autant d`aspects de l`interface utilisateur.

Changer les polices de gnome tweak polices outil

Qu`en est-GNOME Shell?

Le Shell GNOME est l`interface qui lance des applications et gère les fenêtres. Il comprend le panneau qui traverse la partie supérieure de l`écran et tous les éléments dans la liste Activies. GNOME Tweak Tool ne bascule pas les polices pour tout aspect de GNOME Shell.GNOME Explained: Regard sur un des PC de bureau les plus populaires de LinuxGNOME Explained: Regard sur un des PC de bureau les plus populaires de LinuxVous êtes intéressé par Linux, et vous êtes sur "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 veut dire?Lire la suite

Video: Ubuntu Gnome 16.04 LTS [How-To] делаем интерфейс как в Mac OSX

Vous pouvez modifier toutes les catégories énumérées ci-dessus, y compris Interface, et GNOME Shell gardera la police par défaut (Cantarell). Cela peut sembler déroutant, mais le GNOME Tweak Tool est pas une application GNOME officielle. Il est un outil tiers qui se heurte aux limites de la façon dont l`environnement de bureau est conçu.

Certains paramètres de configuration de GNOME sont accessibles par dconf. Ces variables sont faciles à modifier une fois que vous, ou une application que vous utilisez, sait où chercher. GNOME Shell ne charge pas les polices de cette zone. , Il semble plutôt un fichier CSS dans votre thème actuel. Pour modifier les polices, vous devez modifier les thèmes.

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 / thèmes / ThemeName / gnome-shell /. Ces dossiers ne sont pas susceptibles existent déjà, de sorte que vous devrez peut-être créer chacun manuellement.

Changer les polices gnome thème css

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

Video: Gno Menu Vs Gnome Full Screen Menu

étape {famille de polices: Liberation Sans-taille de police: 14px-}

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

Video: Gnome Pie: The better dock for Linux

Pour activer les modifications, sélectionnez un nouveau thème en utilisant GNOME Tweak Tool. Si vous ne l`avez pas déjà les thèmes utilisateur l`extension installée, vous allez avoir besoin de télécharger cette première. Assurez-vous que est active dans la section Extensions. Ensuite, vous pouvez sélectionner votre thème dans la section Apparence, qui est le premier écran de l`outil teck GNOME montre au lancement.

Changer les polices de gnome tweak thème outil

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

Changer les polices de gnome shell gnome

Polices Faire un thème Beaux

GNOME est livré avec une ambiance bizarre, et la police par défaut fait partie de cette image. Si vous n`êtes pas fan, cela peut nuire à votre impression de l`expérience. Après tout, une grande partie de ce qui rend les gens considèrent macOS belle peut être attribuée à la qualité des polices.

Vous n`êtes pas limité aux polices qui viennent avec GNOME, que ce soit. Vous pouvez installer de nouvelles polices en les plaçant dans votre ~ / .fonts dossier ou / Usr / share / fonts. L`emplacement ci rend les polices disponibles à tous les utilisateurs sur votre ordinateur.Voulez-Free Gorgeous Fonts? Voici 25+ sites où vous allez les trouverVoulez-Free Gorgeous Fonts? Voici 25+ sites où vous allez les trouverPlutôt que de patauger à travers des centaines de polices, voici quelques sites qui vous aideront à suivre toutes les nouvelles polices que vous souhaitez utiliser dans votre prochaine conception.Lire la suite

Que pensez-vous de la police par défaut de GNOME? Avez-vous longtemps voulu changer? Qu`en est-il des polices Linux en général? J`ai pensées, mais ce sont les vôtres?

Articles connexes