add font settings notes

This commit is contained in:
Sean Buckley 2021-10-14 16:49:55 -04:00
parent 6b55424e78
commit 868678ed1f

View file

@ -12,7 +12,10 @@ in
sconfig.alacritty.enable = true; sconfig.alacritty.enable = true;
fonts.fonts = [ fonts.fonts = [
pkgs.powerline-fonts # "Source Code Pro for Powerline", 11 # vscode: "DejaVuSansMono Nerd Font Mono" (size 16)
# gnome-terminal: "DejaVu Sans Mono, Inconsolata for Powerline Medium 12"
# gnome-terminal setting (dconf): /org/gnome/terminal/legacy/profiles/.../font
pkgs.powerline-fonts
(pkgs.nerdfonts.override { fonts = [ "DejaVuSansMono" ]; }) (pkgs.nerdfonts.override { fonts = [ "DejaVuSansMono" ]; })
]; ];