Add nerdfonts
This commit is contained in:
parent
5d21d262fa
commit
a1d4948bb3
@ -144,7 +144,7 @@ in {
|
|||||||
"org/gnome/desktop/interface" = {
|
"org/gnome/desktop/interface" = {
|
||||||
color-scheme = "prefer-dark";
|
color-scheme = "prefer-dark";
|
||||||
enable-hot-corners = false;
|
enable-hot-corners = false;
|
||||||
monospace-font-name = "Ubuntu Mono 11";
|
monospace-font-name = "UbuntuMono Nerd Font 11";
|
||||||
};
|
};
|
||||||
"org/gnome/desktop/wm/keybindings" = {
|
"org/gnome/desktop/wm/keybindings" = {
|
||||||
switch-group = [ "<Super>grave" ];
|
switch-group = [ "<Super>grave" ];
|
||||||
@ -157,7 +157,7 @@ in {
|
|||||||
|
|
||||||
fonts.packages = with pkgs; [
|
fonts.packages = with pkgs; [
|
||||||
noto-fonts
|
noto-fonts
|
||||||
ubuntu_font_family
|
(nerdfonts.override { fonts = [ "BigBlueTerminal" "ComicShannsMono" "UbuntuMono" ]; })
|
||||||
];
|
];
|
||||||
|
|
||||||
user.packages = with pkgs; [
|
user.packages = with pkgs; [
|
||||||
|
Loading…
x
Reference in New Issue
Block a user