Jawaban:
Menurut http://vim.wikia.com/wiki/Change_font :
Konsol Vim menggunakan font apa pun yang digunakan konsol / terminal Anda. [...]
Ketika berjalan di dalam terminal, Vim dapat, paling banyak, mengubah warna (dalam batas warna yang didukung oleh terminal: kadang-kadang tebal dan tidak tebal hitam dan putih, sering 8 warna plus hanya tebal / tidak tebal hanya untuk latar depan [atau dilihat dengan cara lain, 8 latar belakang dan 16 latar depan]; pada X11 beberapa terminal mendukung hingga 256 warna latar belakang dan latar depan; "mengubah warna" biasanya juga mencakup penggunaan video-terbalik), dan, jika terminal mendukungnya (tidak semua terminal melakukannya, dan bahkan yang dapat mendukungnya hanya dengan font tertentu), gunakan huruf tebal, garis bawah, dan / atau miring.
Yang sedang berkata, jika Anda ingin mengubah ukuran font di Vim editor, Anda harus mengubah ukuran font terminal Anda. Untuk melakukan ini di gnome-terminal pergi ke Edit → Preferensi Profil :
Selain itu, Anda dapat menyimpan preferensi ini di profil terminal baru dan ketika Anda mulai menggunakan Vim, gunakan profil itu.
Ini mungkin bukan solusi yang ideal tetapi ini bekerja untuk saya.
Cukup perbesar terminal Anda dengan Ctrl+ Shift+ +.
Perkecil dengan Ctrl+-
Saya menggunakan Vim di Terminal Xfce4. Saya menetapkan skrip ini ke pintasan keyboard ctrl alt +dan ctrl alt -yang merupakan penggunaan script-name --in
dan script-name --out
masing - masing.
#!/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"
Seperti yang dikatakan @Costa dalam komentar, Anda bisa
:set guifont
untuk mendapatkan font saat iniHack 10
:set guifont=Hack\ 12
(perhatikan \
untuk keluar dari ruang)