mirror of
https://gitea.blesmrt.net/mikaela/shell-things.git
synced 2024-11-25 12:49:26 +01:00
conf/foot: cut font to font.ini for easier per-device adjustment
This commit is contained in:
parent
d98d06584a
commit
e5fc8b503e
2
conf/foot/font.ini
Normal file
2
conf/foot/font.ini
Normal file
@ -0,0 +1,2 @@
|
||||
# Font size 7 is comfortable on Lumina
|
||||
font=Noto Sans Mono:size=7, Noto Color Emoji
|
@ -1,5 +1,7 @@
|
||||
# -*- conf -*-
|
||||
|
||||
include=~/.config/foot/font.ini
|
||||
|
||||
# shell=$SHELL (if set, otherwise user's default shell from /etc/passwd)
|
||||
# term=foot (or xterm-256color if built with -Dterminfo=disabled)
|
||||
# login-shell=no
|
||||
@ -9,7 +11,7 @@
|
||||
# locked-title=no
|
||||
|
||||
# font=monospace:size=8
|
||||
font=Noto Sans Mono:size=7, Noto Color Emoji
|
||||
#font=Noto Sans Mono:size=7, Noto Color Emoji
|
||||
# font-bold=<bold variant of regular font>
|
||||
# font-italic=<italic variant of regular font>
|
||||
# font-bold-italic=<bold+italic variant of regular font>
|
||||
|
Loading…
Reference in New Issue
Block a user