From 0fc489bf9082042a6eb3f8cc1b20964868b9e973 Mon Sep 17 00:00:00 2001
From: root <root@atom.sea.fudo.org>
Date: Mon, 10 May 2021 18:25:12 -0700
Subject: [PATCH] Change to smaller font on gui

---
 config/profile-config/common-ui.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config/profile-config/common-ui.nix b/config/profile-config/common-ui.nix
index 504b394..3c38bd0 100644
--- a/config/profile-config/common-ui.nix
+++ b/config/profile-config/common-ui.nix
@@ -67,7 +67,7 @@ in {
   hardware.pulseaudio.enable = true;
 
   console.font =
-    lib.mkDefault "${pkgs.terminus_font}/share/consolefonts/ter-g28n.psf.gz";
+    lib.mkDefault "${pkgs.terminus_font}/share/consolefonts/ter-g18n.psf.gz";
 
   services.gnome3 = mkIf enable-gui {
     evolution-data-server.enable = mkForce false;