Smaller and bolder font in terminal
This commit is contained in:
parent
2b4325c312
commit
5cac8db953
1 changed files with 3 additions and 3 deletions
|
@ -3,10 +3,10 @@
|
||||||
programs.kitty = {
|
programs.kitty = {
|
||||||
enable = true;
|
enable = true;
|
||||||
font = if myhostname == "laptop" then {
|
font = if myhostname == "laptop" then {
|
||||||
name = "FiraCode Nerd Font";
|
name = "FiraCode Nerd Font Bold";
|
||||||
size = 20;
|
size = 18;
|
||||||
} else {
|
} else {
|
||||||
name = "FiraCode Nerd Font";
|
name = "FiraCode Nerd Font Bold";
|
||||||
size = 16;
|
size = 16;
|
||||||
};
|
};
|
||||||
shellIntegration = {
|
shellIntegration = {
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue