From e5aab6ef2e09471e6ce2c38d56afef3101f04372 Mon Sep 17 00:00:00 2001
From: Sean Buckley <sean.bck@gmail.com>
Date: Mon, 27 Dec 2021 13:51:19 -0500
Subject: [PATCH] vscode: tweak font

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

diff --git a/modules/profiles/desktop.nix b/modules/profiles/desktop.nix
index bbbc583..7ff10ab 100644
--- a/modules/profiles/desktop.nix
+++ b/modules/profiles/desktop.nix
@@ -9,7 +9,7 @@ with lib;
     };
 
     fonts.fonts = [
-      # vscode: "DejaVuSansMono Nerd Font Mono" (size 16)
+      # vscode: "DejaVuSansMono Nerd Font" (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
@@ -86,7 +86,7 @@ with lib;
       "security.workspace.trust.startupPrompt" = "never";
       "security.workspace.trust.untrustedFiles" = "newWindow";
       "terminal.external.linuxExec" = "x-terminal-emulator";
-      "terminal.integrated.fontFamily" = "DejaVuSansMono Nerd Font Mono";
+      "terminal.integrated.fontFamily" = "DejaVuSansMono Nerd Font";
       "terminal.integrated.fontSize" = 16;
       "terminal.integrated.showExitAlert" = false;
       "trailing-spaces.highlightCurrentLine" = false;