fscotto/dotfiles
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Change Foot font

Browse Source
This commit is contained in:
Fabio Scotto di Santolo
2025-08-07 18:59:30 +02:00
parent 5dca4c97e0
commit 5ac0ff85e7
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
foot/.config/foot/foot.ini
View File

@@ -1,7 +1,7 @@
# === General settings === # === General settings ===
[main] [main]
shell=/bin/zsh # Default shell to launch in the terminal shell=/bin/zsh # Default shell to launch in the terminal
font=FiraCode Nerd Font:size=14 # Font family and size used in the terminal font=0xProto Nerd Font:size=14 # Font family and size used in the terminal
initial-window-size-chars=160x45 # Initial size in character columns x rows initial-window-size-chars=160x45 # Initial size in character columns x rows
selection-target=clipboard # Copy selected text directly to system clipboard selection-target=clipboard # Copy selected text directly to system clipboard
term=foot # Terminal type identifier (useful for compatibility) term=foot # Terminal type identifier (useful for compatibility)