GNU/Linux >> Tutoriels Linux >  >> Linux

Comment changer le type et la taille de la police de la console Linux

Il est assez facile de changer le type de police du texte et sa taille si vous avez un environnement de bureau graphique. Comment feriez-vous cela dans un serveur sans tête Ubuntu qui n'a pas d'environnement graphique ? Pas de soucis! Ce bref guide décrit comment modifier la police et la taille de la console Linux. Cela peut être utile pour ceux qui n'aiment pas le type/la taille de police par défaut ou qui préfèrent des polices différentes en général.

Modifier le type et la taille de la police de la console Linux

Juste au cas où vous ne le sauriez pas encore, voici à quoi ressemble une console de serveur Ubuntu Linux sans tête.

Console Linux Ubuntu

Autant que je sache, nous pouvons répertorier les polices installées , mais il n'y a pas d'option pour changer le type de police ou sa taille à partir de la console Linux comme nous le faisons dans les émulateurs de terminaux dans le bureau GUI.

Mais cela ne signifie pas que nous ne pouvons pas le changer. Nous pouvons toujours changer les polices de la console.

Si vous utilisez Debian, Ubuntu et d'autres systèmes basés sur DEB, vous pouvez utiliser "console-setup" fichier de configuration pour setupcon qui est utilisé pour configurer la police et la disposition du clavier pour la console. L'emplacement standard du fichier de configuration console-setup est /etc/default/console-setup .

Maintenant, exécutez la commande suivante pour configurer la police de votre console Linux.

$ sudo dpkg-reconfigure console-setup

Choisissez l'encodage à utiliser sur votre console Linux. Laissez simplement les valeurs par défaut, choisissez OK et appuyez sur ENTER pour continuer.

Choisissez l'encodage à définir sur la console dans Ubuntu

Choisissez ensuite le jeu de caractères qui doit être pris en charge par la police de la console dans la liste. Par défaut, c'était la dernière option, c'est-à-dire Deviner le jeu de caractères optimal dans mon système. Laissez-le par défaut et appuyez sur la touche ENTRÉE.

Choisissez le jeu de caractères dans Ubuntu

Choisissez ensuite la police de votre console et appuyez sur la touche ENTRÉE. Ici, je choisis "TerminusBold".

Choisissez la police pour votre console Linux

Dans cette étape, nous choisissons la taille de police souhaitée pour notre console Linux.

Choisissez la taille de la police pour votre console Linux

Après quelques secondes, la police sélectionnée avec la taille sera appliquée pour votre console Linux.

Voici à quoi ressemblaient les polices de la console sur mon serveur Ubuntu 18.04 LTS avant de modifier le type et la taille de la police.

Console TTY Ubuntu Linux

C'est après avoir changé le type et la taille de la police.

Console Linux Ubuntu après modification du type et de la taille de la police

Comme vous pouvez le voir, la taille du texte est beaucoup plus grande, meilleure et le type de police est différent de celui par défaut.

Vous pouvez également modifier directement /etc/default/console-setup fichier et définissez le type et la taille de la police comme vous le souhaitez. Selon l'exemple suivant, le type de police de ma console Linux est "Terminus Bold" et la taille de police est de 32.

ACTIVE_CONSOLES="/dev/tty[1-6]"
CHARMAP="UTF-8"
CODESET="guess"
FONTFACE="TerminusBold"
FONTSIZE="16x32"

Suggestion de lecture :

  • Comment basculer entre les TTY sans utiliser les touches de fonction sous Linux

Polices de la console d'affichage

Pour afficher la police de votre console, tapez simplement :

$ showconsolefont

Cette commande affichera un tableau de glyphes ou de lettres d'une police.

Afficher les polices de la console Linux

Si votre distribution Linux n'a pas "console-setup", vous pouvez l'obtenir à partir de ici .

Sur les distributions Linux qui utilisent Systemd , vous pouvez changer la police de la console en modifiant "/etc/vconsole.conf" fichier.

Voici un exemple de configuration pour le clavier allemand.

$ vi /etc/vconsole.conf
KEYMAP=de-latin1
FONT=Lat2-Terminus16

J'espère que cela vous aidera.


Linux
  1. Comment modifier de manière permanente le type de police Tty de la console afin qu'il soit conservé après le redémarrage ?

  2. Comment changer de shell sous Linux

  3. Comment changer la taille de la police du terminal dans Ubuntu

  4. Comment changer la taille de la police dans Dwarf-fortress ?

  5. Comment changer la forme, la couleur et le taux de clignotement du curseur de la console Linux ?

Comment changer d'utilisateur sous Linux

Comment changer l'adresse IP sous Linux

Comment vérifier la taille des fichiers et du répertoire sous Linux

Comment changer la date, l'heure et le fuseau horaire dans Linux Mint 20

Comment changer le nom d'hôte et l'adresse IP dans CentOS / RedHat Linux

Comment changer le nom d'utilisateur et le nom d'hôte sur le système Linux