Aumentar o tamanho da fonte no editor Vim

Eu escrevo programas em C no Vim; o tamanho da fonte é muito pequeno.

Existe alguma opção para aumentar o tamanho da fonte no Vim?

De acordo com http://vim.wikia.com/wiki/Change_font :

O Console Vim usa qualquer fonte que seu console / terminal esteja usando. [...]

Ao rodar dentro de um terminal, o Vim pode, no máximo, alterar as cores (dentro dos limites das cores suportadas pelo terminal: às vezes em negrito e não dobrado em preto e branco, geralmente 8 cores mais o primeiro plano em negrito / não dobrado [ou visto de outra maneira, 8 background e 16 foreground]; no X11, alguns terminais suportam até 256 cores de plano de fundo e de primeiro plano; "alterar cores" geralmente também inclui o uso de vídeo reverso) e, se o terminal os suportar (nem todos os terminais suportam, e até aqueles que o suportam apenas com determinadas fontes), use negrito, sublinhado e / ou itálico.

Dito isto, se você quiser alterar o tamanho da fonte no editor Vim, precisará alterar o tamanho da fonte do seu terminal. Para fazer isso no gnome-terminal, vá em Editar → Preferências do perfil :

Além disso, você pode salvar essas preferências em um novo perfil de terminal e, quando começar a usar o Vim, use esse perfil.

Esta pode não ser uma solução ideal, mas funciona para mim.

Basta ampliar o seu terminal com Ctrl+ Shift+ +.

Reduzir com Ctrl+-

Ctrl+ rolagem do mouse para cima
Ctrl+ rolagem do mouse para baixo.

Isso funciona para a maioria dos terminais.

Eu uso o Vim no terminal Xfce4. Atribuí esse script aos atalhos do teclado ctrl alt +e ctrl alt -quais são os usos script-name --ine, script-name --outrespectivamente.

#!/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"

Como @Costa disse no comentário, você pode

1. executar :set guifontpara obter a fonte atual
2. pra mim isso é Hack 10
3. em seguida, defina a fonte com um tamanho maior :set guifont=Hack\ 12(observe \para escapar do espaço)