J'ai un système d'exploitation de type Unix installé sans environnement de fenêtrage; c'est-à - dire juste une console en mode texte et aucune interface graphique.

Est-il possible de changer la police utilisée par la console?

Pour être clair, je ne parle pas de l'émulateur de terminal fourni avec un environnement de bureau tel que KDE ou GNOME.

Si vous utilisez la console Linux, le meilleur moyen que j'ai trouvé est:

dans

/etc/default/console-setup

mettre, par exemple

CHARMAP="UTF-8"
CODESET="Lat7"
FONTFACE="Terminus"
FONTSIZE="28x14"

Une autre façon consiste à utiliser setfontle kbdpaquet:

setfont /usr/share/consolefonts/Lat7-Terminus28x14.psf

Cela fonctionne pour ma Debian; cela peut être différent pour vous.

Dans Debian, vous pouvez également dpkg-reconfigure -plow console-setupêtre invité à saisir les différents paramètres de la console et à les sélectionner dans les menus.

Edit - J'ai mis en place une petite page sur la configuration des couleurs de police . La section pertinente pour ce poste a pour en-tête "les VT Linux" (= ttys, ou "console").

Si vous voulez utiliser presque toutes les polices compatibles X, vous devriez jeter un coup d'œil au travail de David Herrman kmscon. En réalité, le nom dissimule légèrement le projet, car il n'est pas indispensable de définir les paramètres du mode noyau (il est également indispensable), il fonctionne également avec les périphériques à mémoire tampon, par exemple si vous utilisez des pilotes d'affichage propriétaires AMD ou nvidia. Avec kmsconvous obtenez une gestion de session multi-siège, xtermcomme le clavier et la gestion des polices UTF-8 et le contrôle de session. Le changement de police peut être effectué via /etc/kmscon/kmscon.confou via une option de ligne de commande.

/etc/default/console-setupet al. ont été remplacés sur les systèmes d’exploitation systemd, bien que certains systèmes d’exploitation tels que Debian essaient de maintenir l’ancien système de configuration.

Pour ce faire, sur un système d'exploitation systemd, vous devez modifier les paramètres de police du /etc/vconsole.conffichier. Ces paramètres sont appliqués par le systemd-vconsole-setupservice, ce qui est essentiellement un mode d’exécution glorifié setfontet loadkeysavant que les services de connexion ne soient affichés.

Donc, vous auriez FONT=Uni2-Terminus28x14dans ce fichier, par exemple.

Notez que le programme de service autorise les options de ligne de commande du noyau, telles que vconsole.fontle remplacement du /etc/vconsole.confcontenu. Si vous utilisez les options de ligne de commande du noyau GRUB, gardez cela à l'esprit.

Lectures complémentaires

• Lennart Poettering et al .. vconsole.conf. pages de manuel systemd. FreeDesktop.org.
• Lennart Poettering et al .. systemd-vconsole-setup. pages de manuel systemd. FreeDesktop.org.
• La définition de la police de la console dans vconsole.conf ne fonctionne pas (systemd)
• https://unix.stackexchange.com/a/326804/5132

En utilisant Ubuntu 16.04 (fonctionne probablement dans toutes les versions prises en charge), j’ai édité ~/.bashrcet juste avant le démarrage du terminal en fin de fichier, j’ai inséré la setfontcommande:

# Set font when running in console
/bin/setfont /usr/share/consolefonts/Lat2-Terminus32x16.psf.gz    

# Splash Calendar and time
now

# ASCII Linux distribution display
screenfetch

Maintenant, lorsque vous sélectionnez Ctrl+ Alt+ F1à Ctrl+ Alt+ F6, vous obtenez de belles polices de grande taille.

C'est la plus grande police disponible et vous pouvez voir une liste complète avec la lscommande:

$ ls /usr/share/consolefonts
Arabic-Fixed15.psf.gz             Lat15-Terminus20x10.psf.gz
Arabic-Fixed16.psf.gz             Lat15-Terminus22x11.psf.gz
Arabic-VGA14.psf.gz               Lat15-Terminus24x12.psf.gz
    (... SNIP ...)
Lat15-Terminus14.psf.gz           Vietnamese-Fixed16.psf.gz
Lat15-Terminus16.psf.gz           Vietnamese-Fixed18.psf.gz

Exemple d'écran

Il s’agit d’un fac-similé et non d’une véritable capture d’écran depuis la console où l’écran est plus large de 20% et l’arrière-plan est noir:

Avant les modifications, je ne pouvais pas lire l'écran sur le moniteur HDPI.

Dans le terminal Linux Mint 18.1:

1. Faites un clic droit n'importe où dans l'espace noir.
2. Choisissez "profils", "préférences de profil".
3. Mettez un tic dans la case "police personnalisée".
4. Cliquez sur le grand exemple de texte à côté.
5. Choisissez la taille et le type de police que vous souhaitez.

Les modifications apparaîtront immédiatement.