Risposte:
Secondo http://vim.wikia.com/wiki/Change_font :
Console Vim utilizza qualsiasi tipo di carattere utilizzato dalla tua console / terminale. [...]
Quando corre all'interno di un terminale, Vim può, al massimo, cambiare i colori (entro i limiti dei colori supportati dal terminale: a volte in bianco e nero grassetto e non piegato, spesso 8 colori più solo in primo piano grassetto / non piegato [o visto in un altro modo, 8 sfondo e 16 primo piano]; su X11 alcuni terminali supportano fino a 256 colori di sfondo e primo piano; il "cambio di colori" di solito include anche l'uso di video inverso) e, se il terminale li supporta (non tutti i terminali lo fanno, e persino quelli che lo supportano possono supportarlo solo con determinati caratteri), usano grassetto, sottolineato e / o corsivo.
Detto questo, se vuoi cambiare la dimensione del carattere nell'editor Vim, devi cambiare la dimensione del carattere del tuo terminale. Per fare questo in gnome-terminal vai su Modifica → Preferenze profilo :
Inoltre, è possibile salvare queste preferenze in un nuovo profilo terminale e quando si inizia a utilizzare Vim, utilizzare quel profilo.
Questa potrebbe non essere una soluzione ideale ma funziona per me.
Basta ingrandire il tuo terminale con Ctrl+ Shift+ +.
Rimpicciolisci con Ctrl+-
Uso Vim nel terminale Xfce4. Ho assegnato questo script alle scorciatoie da tastiera ctrl alt +e ctrl alt -quali sono rispettivamente l'uso script-name --in
e script-name --out
.
#!/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"
Come ha detto @Costa nel commento, puoi farlo
:set guifont
per ottenere il carattere correnteHack 10
:set guifont=Hack\ 12
(nota \
per sfuggire allo spazio)