web-dev-qa-db-fra.com

Comment changer les polices du système Ubuntu 18.04?

J'ai installé Ubuntu 18.04 et je souhaite personnaliser les polices. J'ai déjà changé tout le réglage par l'outil Tweak. Mais la police système par défaut ne doit pas être changée, puis-je faire quelque chose?

screenshot

screenshot

fontsgnome-shell
4
Pedro

La police utilisée pour les textes mis en évidence dans les captures d'écran que vous avez publiées est dictée par le thème GNOME Shell.

Comme il n’est généralement pas judicieux d’éditer les fichiers système (toute mise à jour d’un paquet associé l’écrasera probablement), vous pouvez créer une substitution css personnalisée dans votre répertoire personnel et la charger à partir de là. Pour ce faire, suivez les étapes ci-dessous.

  1. Créez un répertoire, par exemple, MyThemein ~/.themes. (Vous pouvez créer ~/.themes s'il n'existe pas.)
  2. Créez un autre répertoire dans MyThemeappelé gnome-Shell.
  3. Créez un document vide dans ce répertoire gnome-Shell et nommez-le gnome-Shell.css.

  4. Ouvrez ce fichier gnome-Shell.css avec un éditeur de texte et ajoutez les lignes suivantes

    @import url("/usr/share/gnome-Shell/theme/ubuntu.css");  

stage {
    font-family: FONT_NAME, Sans-Serif;
}

    Remplacez FONT_NAME par la police de votre choix et enregistrez le fichier.

  5. Installez le extension GNOME appelé le Thèmes utilisateur à partir de ici .

  6. Installez (GNOME) peaufinez en lançant

    Sudo apt install gnome-Tweak-tool

  7. Lancez Tweaks et allez à la section Apparence . Cliquez sur la liste déroulante à côté de " Shell thème ". MyTheme devrait apparaître dans la liste déroulante. Sélectionnez le.

  8. Redémarrez GNOME Shell en appuyant sur alt+f2 puis en tapant ret en appuyant sur enter (fonctionne dans une session Xorg, dans la déconnexion Wayland et reconnectez-vous).

4
pomsky

La police système peut être modifiée à l'aide de l'outil gnome-Tweak (sous-section "Polices"). Cela n'affectera tout simplement pas la vue "Activation", comme l'a souligné pomsky. Tout ceci suppose que vous utilisiez le bureau Gnome (valeur par défaut à partir d’Ubuntu 18.04), et non pas Unity.

0
Torbjörn Österdahl