web-dev-qa-db-fra.com

Comment changer la police de différents émulateurs de terminaux?

Principalement:

  • Gnome Terminal
  • Terminal Xfce
  • Konsole
  • LXTerminal
  • Terminateur
  • Guake
  • Yakuake
  • Urxvt
  • Xterm
  • Mrxvt
21
Basharat Sialvi

Terminal Gnome:

  • Ouvrez le terminal Gnome en appuyant sur Ctrl+Alt+T.
  • Allez à: EditProfile 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 de police et choisissez la police souhaitée dans la boîte de dialogue résultante. Gnome Terminal

Émulateur de terminal Xfce:

  • Open Xfce Terminal: Hit Alt+F2, tapez xfce4-terminal et appuyez sur Enter.
  • Allez à: EditPreferencesname__
  • Dans la fenêtre des préférences, sous l'onglet Appearancename__, cliquez sur le bouton de sélection de police et choisissez la police souhaitée dans la boîte de dialogue résultante. Xfce Terminal Emulator

Konsole:

  • Ouvrir Konsole: Hit Alt+F2, tapez konsoleet appuyez sur Enter.
  • Allez à: SettingsConfigure Konsole.
  • Dans la fenêtre de profil sous l'onglet Appearancename__, cliquez sur le bouton Select Font et choisissez la police souhaitée dans la boîte de dialogue résultante. Konsole

LXTerminal:

  • Ouvrir LXTerminal: Hit Alt+F2, tapez lxterminalet appuyez sur Enter.
  • Allez à: EditPreferencesname__.
  • Dans la fenêtre résultante, sous l'onglet Stylename__, cliquez sur le bouton de sélection de police et choisissez la police souhaitée dans la boîte de dialogue résultante. LXTerminal

Terminateur:

  • Terminator ouvert: Hit Alt+F2, tapez terminatoret appuyez sur Enter.
  • Faites un clic droit sur la fenêtre du terminal, dans le menu résultant, cliquez sur Preferencesname__.
  • Dans la fenêtre Préférences, allez à l'onglet Profilesname__, sous l'onglet Generalname__, décochez ☐ Use the system fixed width font.
  • Cliquez sur le bouton de sélection de police et choisissez la police souhaitée dans la boîte de dialogue résultante. Terminator

Guake:

  • Ouvrir les préférences de Guake: Hit Alt+F2 et tapez guake-prefs et appuyez sur Enter.
  • Dans la fenêtre des préférences sous l'onglet Appearancename__, décochez la case ☐ Use the system fixed width font.
  • Cliquez sur le bouton de sélection de police et choisissez la police souhaitée dans la boîte de dialogue résultante. enter image description here

Yakuake:

  • Ouvrez Yakuake: Hit Alt+F2, tapez yakuakeet appuyez sur Enter.
  • Frappé F12 ou quelle que soit la clé que vous avez définie pour faire avancer Yakuake.
  • Faites un clic droit sur la fenêtre du terminal, dans le menu résultant, cliquez sur Edit Current Profile....
  • Dans la fenêtre de profil sous l'onglet Appearancename__, cliquez sur le bouton Select Font et choisissez la police souhaitée dans la boîte de dialogue résultante. enter image description here

Les terminaux listés ci-dessous ne fournissent pas d'interface graphique pour changer la police. Vous pouvez utiliser Font Viewer pour afficher et choisir la police. Top open Font Viewer aller au tableau de bord d'unité en appuyant sur Super et recherchez font viewer.

rxvt/Xterm:

  • Ouvrez ~/.Xresources dans votre éditeur favori:

    gedit ~/.Xresources
    

    Pour Urxvtname__, ajoutez:

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

    Pour Xtermname__, ajoutez:

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

    Changez Source\ Code\ Pro avec la police que vous souhaitez appliquer. Changez Regularavec le style de police que vous souhaitez utiliser, par exemple: Gras, Italique, Gras\Italique. Définissez sizeà la taille de police souhaitée.

Mrxvt:

  • Ouvrez le fichier ~/.mrxvt dans votre éditeur favori:

    gedit ~/.mrxvt
    

    et ajoutez-y les lignes suivantes:

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