Comment changer la police de la console du terminal Ubuntu Server

Table des matières

Ubuntu Server est un système d'exploitation Linux qui nous offre un large éventail de possibilités lors de la réalisation de tâches de gestion, de contrôle ou d'assistance aux utilisateurs grâce à ses différentes fonctions. La grande majorité d'entre vous le connaissent, sinon, nous vous recommandons de l'essayer. Nous avons vu par le passé un manuel complet sur la façon d'installer Ubuntu minimal Server en version 17. Nous vous laissons ici pour en tenir compte également en version 18.

Comme on le sait, par défaut son environnement est monocolore (noir et blanc) et il n'est pas fréquent que l'on installe Ubuntu Server avec un environnement graphique pour des problèmes de performances et d'efficacité.

Dans certains cas, nous voulons avoir un environnement plus spécial et nous apprendrons donc à

changer la police par défaut du terminal Ubuntu Server

AGRANDIR

Ubuntu Server a un fichier appelé "console-setup" qui spécifie l'encodage, la police et la taille de la police qui seront implémentés via le programme setupcon. Setupcon est un programme qui configure la police et le clavier dans la console du serveur Ubuntu.

La police et la taille de police par défaut sur la console du serveur Ubuntu sont généralement VGA et 8X16 respectivement.

Étape 1
Pour changer la source de la console du serveur Ubuntu, en l'occurrence 18.04, nous allons exécuter la commande suivante afin de reconfigurer le fichier de configuration de la console que de nombreux professionnels utilisent tant au quotidien :

 sudo dpkg-reconfigurer la configuration de la console
En appuyant sur "Entrée" et en entrant notre mot de passe d'administration, nous verrons ce qui suit :

AGRANDIR

Étape 2
Là, nous devons sélectionner l'encodage qui sera implémenté dans la console et il est possible de laisser l'option par défaut UTF-8 et d'appuyer sur "Entrée", nous verrons maintenant ce qui suit :

AGRANDIR

Dans cette nouvelle fenêtre, nous allons sélectionner le jeu de caractères pour la police que nous voulons mettre, dans ce cas, nous pouvons laisser l'option par défaut et appuyer à nouveau sur "Entrée". En appuyant à nouveau sur "Entrée", nous allons sélectionner le type de police et en haut, nous verrons un bref résumé de ces options comme vous pouvez le voir dans l'image suivante :

AGRANDIR

Étape 3
Nous appuyons sur "Entrée" et nous allons maintenant définir la taille de la police :

AGRANDIR

Étape 4
En appuyant sur "Entrée", la police de la console sera modifiée et le système appliquera les modifications automatiquement :

AGRANDIR

Étape 5
Une fois les modifications terminées, nous pouvons utiliser la console avec le nouveau type de police sélectionné et configuré avec les étapes décrites :

AGRANDIR

Si nous voulons en savoir plus sur ces commandes que nous avons utilisées dans ce tutoriel, nous pouvons exécuter les lignes de commande man suivantes et vous verrez toutes les options disponibles.

 man console-setup man setupcon
Nous vous laissons terminer un autre tutoriel intéressant que plus d'un utilisera pour l'avoir sous la main.

Vous contribuerez au développement du site, partager la page avec vos amis

wave wave wave wave wave