Switch font to JetBrainsMono
This commit is contained in:
parent
8a768262fc
commit
8add47b7c9
|
@ -24,12 +24,9 @@ with lib;
|
||||||
};
|
};
|
||||||
|
|
||||||
font = {
|
font = {
|
||||||
size = 16;
|
size = 15;
|
||||||
|
|
||||||
bold.style = "Regular";
|
normal.family = "JetBrainsMono Nerd Font ";
|
||||||
bold_italic.style = "Regular";
|
|
||||||
italic.style = "Regular";
|
|
||||||
normal.family = "Terminus (TTF)";
|
|
||||||
};
|
};
|
||||||
|
|
||||||
terminal.shell = {
|
terminal.shell = {
|
||||||
|
|
Loading…
Reference in a new issue