Augmentez la taille de la police dans l'éditeur Vim

J'écris des programmes C dans Vim; la taille de la police est très petite.

Existe-t-il une option pour augmenter la taille de la police dans Vim?

Selon http://vim.wikia.com/wiki/Change_font :

Console Vim utilise la police utilisée par votre console / terminal. [...]

Lors de l'exécution à l'intérieur d'un terminal, Vim peut, tout au plus, changer les couleurs (dans les limites des couleurs prises en charge par le terminal: parfois en gras et en gras noir et blanc, souvent 8 couleurs plus le premier plan en gras / non gras uniquement [ou vu d'une autre manière, 8 arrière-plans et 16 avant-plans]; sur X11, certains terminaux prennent en charge jusqu'à 256 couleurs d'arrière-plan et de premier plan; "changer les couleurs" inclut généralement également l'utilisation de vidéo inversée), et, si le terminal les prend en charge (tous les terminaux ne le font pas, et même ceux qui ne le prennent en charge qu'avec certaines polices), utilisez gras, souligné et / ou italique.

Cela étant dit, si vous voulez changer la taille de police dans l'éditeur Vim, vous devez changer la taille de police de votre terminal. Pour ce faire dans gnome-terminal, allez dans Édition → Préférences de profil :

De plus, vous pouvez enregistrer ces préférences dans un nouveau profil de terminal et lorsque vous commencez à utiliser Vim, utilisez ce profil.

Ce n'est peut-être pas une solution idéale, mais cela fonctionne pour moi.

Zoomez simplement sur votre terminal avec Ctrl+ Shift+ +.

Zoom arrière avec Ctrl+-

Ctrl+ défilement de la souris vers le haut
Ctrl+ défilement de la souris vers le bas.

Cela fonctionne pour la plupart des terminaux.

J'utilise Vim dans le terminal Xfce4. J'ai assigné ce script aux raccourcis clavier ctrl alt +et ctrl alt -quels sont leur usage script-name --inet script-name --outrespectivement.

#!/bin/bash

# Check if Xfce4 Terminal is running. If it is not, exit.
status=$(pgrep xfce4-terminal)    
if [ -z "$status" ]; then
    notify-send "No Xfce4 Terminal session is open."
    exit 1
fi

# 1. Get the full line. 2. Get the entire line minus font size. 3. Get only font size. 
line=$(grep "FontName" ~/.config/xfce4/terminal/terminalrc)
font_name=$(echo "$line" | sed s/'\w*$'//)
font_size=$(echo "$line" | grep -oE '[^ ]+$')

# Increase or decrease font size. You might want to change this to increase and decrease by two.
if [ "$1" = "--in" ]; then
    new_size=$((font_size + 1))
elif [ "$1" = "--out" ]; then
    new_size=$((font_size - 1))
else
    notify-send "Argument options: --in --out"
    exit 1
fi

# Replace the line with the new font size.
action='s/'$font_name$font_size'/'$font_name$new_size'/'
sed -i "$action" ~/.config/xfce4/terminal/terminalrc

# Show only one notification at a time.
notify_status=$(pgrep xfce4-notifyd)
if [ -n "$notify_status" ]; then
    pkill xfce4-notifyd
fi    

# Show the new current font being used.
notify-send -t 200 "$new_size pt font"

Comme @Costa l'a dit dans le commentaire, vous pouvez

1. exécuter :set guifontpour obtenir la police actuelle
2. pour moi c'est Hack 10
3. puis définissez la police avec une taille plus grande :set guifont=Hack\ 12(notez le \pour échapper à l'espace)