Comment changer la police de caractères de divers émulateurs de terminal ?

Terminal Gnome :

• Ouvrez le terminal Gnome en appuyant sur Ctrl + Alt + T .
• Allez-y : Edit Profile Preferences .
• Dans la fenêtre de profil, sous l'onglet Général, décochez Use the system fixed width font .
• Cliquez sur le bouton de sélection des polices et choisissez la police de votre choix dans la boîte de dialogue qui en résulte.

Émulateur de terminal Xfce :

• Ouvrir le terminal Xfce : Appuyez sur Alt + F2 , type xfce4-terminal et frappez Enter .
• Allez-y : Edit Preferences
• Dans la fenêtre des préférences, sous Appearance cliquez sur le bouton de sélection des polices et choisissez la police souhaitée dans la boîte de dialogue qui en résulte.

Konsole :

• Ouvrez Konsole : Appuyez sur Alt + F2 , type konsole et frappez Enter .
• Allez-y : Settings Configure Konsole .
• Dans la fenêtre du profil, sous Appearance cliquez sur Select Font et choisissez la police souhaitée dans la boîte de dialogue qui en résulte.

LXTerminal :

• Ouvrez LXTerminal : Appuyez sur Alt + F2 , type lxterminal et frappez Enter .
• Allez-y : Edit Preferences .
• Dans la fenêtre qui en résulte, sous Style cliquez sur le bouton de sélection des polices et choisissez la police souhaitée dans la boîte de dialogue qui en résulte.

Terminator :

• Ouvrez Terminator : Hit Alt + F2 , type terminator et frappez Enter .
• Cliquez avec le bouton droit de la souris sur la fenêtre du terminal, dans le menu qui en résulte, cliquez sur Preferences .
• Dans la fenêtre des préférences, allez dans Profiles sous l'onglet General décochez l'onglet Use the system fixed width font .
• Cliquez sur le bouton de sélection des polices et choisissez la police de votre choix dans la boîte de dialogue qui en résulte.

Guake :

• Ouvrir les préférences de Guake : Appuyez sur Alt + F2 et le type guake-prefs et frappez Enter .
• Dans la fenêtre des préférences, sous Appearance décochez l'onglet Use the system fixed width font .
• Cliquez sur le bouton de sélection des polices et choisissez la police de votre choix dans la boîte de dialogue qui en résulte.

Yakuake :

• Ouvrez Yakuake : Hit Alt + F2 , type yakuake et frappez Enter .
• Hit F12 ou toute autre touche que vous avez définie pour faire avancer Yakuake.
• Cliquez avec le bouton droit de la souris sur la fenêtre du terminal, dans le menu qui en résulte, cliquez sur Edit Current Profile... .
• Dans la fenêtre du profil, sous Appearance cliquez sur Select Font et choisissez la police souhaitée dans la boîte de dialogue qui en résulte.

Les terminaux listés ci-dessous ne fournissent pas de GUI pour changer la police. Vous pouvez utiliser Font Viewer pour visualiser et choisir la police. Ouvert en haut Font Viewer Allez au tableau de bord de l'Unité en appuyant sur Super et chercher font viewer .

Urxvt/Xterm :

• Ouvrir ~/.Xresources dans votre éditeur préféré :

  gedit ~/.Xresources

  について Urxvt ajouter :

  URxvt*.font: xft:Source\ Code\ Pro:Regular:size=10

  について Xterm ajouter :

  Xterm*.font: xft:Source\ Code\ Pro:Regular:size=10

  Changement Source\ Code\ Pro avec la police que vous voulez appliquer. Modifier Regular avec le style de police que vous voulez utiliser, comme : Bold, Italic, Bold\ Italic. Définissez le size à la taille de police souhaitée.

Mrxvt :

• Ouvrez le ~/.mrxvt dans votre éditeur préféré :

  gedit ~/.mrxvt

  et ajoutez-y les lignes suivantes :

  Mrxvt.xft:              1
  Mrxvt.xftFont:          Source\ Code\ Pro
  Mrxvt.xftSize:          13
  Mrxvt.xftAntialias:     1