Att host-specific terminal font settings

This commit is contained in:
2021-04-07 16:21:47 +02:00
parent cf46f94676
commit 87d015bbbf

View File

@ -31,26 +31,48 @@ draw_bold_text_with_bright_colors: true
# Font configuration (changes require restart)
font:
# The normal (roman) font face to use.
normal:
family: Source Code Pro for Powerline # "Menlo" or something on macOS.
# Style can be specified to pick a specific face.
# style: Regular
{% if hostname == 'sputnik' %}
family: SauceCodePro Nerd Font
{% else if hostname == 'vostok' %}
family: Source Code Pro for Powerline
{% else %}
family: monospace
{% end if %}
style: Regular
# The bold font face
bold:
family: Source Code Pro for Powerline # should be "Menlo" or something on macOS.
# Style can be specified to pick a specific face.
# style: Bold
{% if hostname == 'sputnik' %}
family: SauceCodePro Nerd Font
{% else if hostname == 'vostok' %}
family: Source Code Pro for Powerline
{% else %}
family: monospace
{% end if %}
style: Bold
# The italic font face
italic:
family: Source Code Pro for Powerline # should be "Menlo" or something on macOS.
# Style can be specified to pick a specific face.
# style: Italic
{% if hostname == 'sputnik' %}
family: SauceCodePro Nerd Font
{% else if hostname == 'vostok' %}
family: Source Code Pro for Powerline
{% else %}
family: monospace
{% end if %}
style: Italic
# Point size of the font
size: 10.0
{% if hostname == 'sputnik' %}
size: 11.0
{% else if hostname == 'vostok' %}
size: 11.0
{% else %}
size: 11.0
{% end if %}
# Offset is the extra space around each character. offset.y can be thought of
# as modifying the linespacing, and offset.x as modifying the letter spacing.
offset: