From 868678ed1fcbad74236554a7d189b18f32eb1f9f Mon Sep 17 00:00:00 2001
From: Sean Buckley <sean.bck@gmail.com>
Date: Thu, 14 Oct 2021 16:49:55 -0400
Subject: [PATCH] add font settings notes

---
 modules/profiles/desktop.nix | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/modules/profiles/desktop.nix b/modules/profiles/desktop.nix
index 7516287..ec60136 100644
--- a/modules/profiles/desktop.nix
+++ b/modules/profiles/desktop.nix
@@ -12,7 +12,10 @@ in
     sconfig.alacritty.enable = true;
 
     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" ]; })
     ];