diff options
author | Nicholas Johnson <nick@nicholasjohnson.ch> | 2023-09-18 00:00:00 +0000 |
---|---|---|
committer | Nicholas Johnson <nick@nicholasjohnson.ch> | 2023-09-18 00:00:00 +0000 |
commit | b27cdc05ecb5c57de18a36f474432262907b08169270dd00775fe1b833c5c05b (patch) | |
tree | bdb625faf435bf8678716060937529fe84ff5e4911e18f822c23adfbf69f32d6 | |
parent | b2c1e851e0432e6cd1ad12e2880d2f370349f245ae357ee8dfb8e5cc0ba03f16 (diff) |
Increase terminal font size
-rw-r--r-- | user-home/.config/foot/foot.ini | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/user-home/.config/foot/foot.ini b/user-home/.config/foot/foot.ini new file mode 100644 index 0000000..42d0c98 --- /dev/null +++ b/user-home/.config/foot/foot.ini @@ -0,0 +1,2 @@ +[main] +font=monospace:size=12 |