fonts
This commit is contained in:
parent
e104313b1b
commit
8183311e1e
5 changed files with 12 additions and 5 deletions
|
@ -4,11 +4,13 @@
|
|||
enable = true;
|
||||
font = if myhostname == "laptop" then {
|
||||
# name = "Iosevka Nerd Font Bold";
|
||||
name = "ComicShannsMono Nerd Font Bold";
|
||||
# name = "ComicShannsMono Nerd Font Bold";
|
||||
name = "Hack Nerd Font Bold";
|
||||
size = 20;
|
||||
} else {
|
||||
# name = "Iosevka Nerd Font Bold";
|
||||
name = "ComicShannsMono Nerd Font Bold";
|
||||
# name = "ComicShannsMono Nerd Font Bold";
|
||||
name = "Hack Nerd Font Bold";
|
||||
size = 13;
|
||||
};
|
||||
shellIntegration = {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue