From 1d87eef362aa44c19fd242ec8a2138fe2b2b6dc5 Mon Sep 17 00:00:00 2001 From: fleaz Date: Fri, 16 Dec 2022 13:43:56 +0100 Subject: [PATCH] all: increase console.font on highDPI devices --- roles/all.nix | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/roles/all.nix b/roles/all.nix index 18aa1f8..d43b9ba 100644 --- a/roles/all.nix +++ b/roles/all.nix @@ -1,4 +1,8 @@ -{pkgs, ...}:{ +{pkgs, config, ...}: +let + consoleFont = hiDPI : if hiDPI then "Lat2-Terminus16" else "Lat2-Terminus20"; +in +{ imports = [ ../home-manager/default.nix @@ -44,6 +48,8 @@ }; + console.font = consoleFont config.my.highDPI; + networking.extraHosts = '' ''; }