···

       
42
       
42
       
 
       
  </para>

     

       
43
       
43
       
 
       


     

       
44
       
44
       
 
       
  <para>

     

       
45
       
45
       
-
       
   If the text is too small to be legible, try <command>setfont ter-132n</command>

     

       
45
       
45
       
+
       
   If the text is too small to be legible, try <command>setfont ter-v32n</command>

     

       
46
       
46
       
 
       
   to increase the font size.

     

       
47
       
47
       
 
       
  </para>

     

       
48
       
48
       
 
       


     

···

       
1
       
1
       
+
       
{ lib, pkgs, config, ...}:

     

       
2
       
2
       
+
       
with lib;

     

       
3
       
3
       
+
       


     

       
4
       
4
       
+
       
{

     

       
5
       
5
       
+
       
  options.hardware.video.hidpi.enable = mkEnableOption "Font/DPI configuration optimized for HiDPI displays";

     

       
6
       
6
       
+
       


     

       
7
       
7
       
+
       
  config = mkIf config.hardware.video.hidpi.enable {

     

       
8
       
8
       
+
       
    console.font = lib.mkDefault "${pkgs.terminus_font}/share/consolefonts/ter-v32n.psf.gz";

     

       
9
       
9
       
+
       


     

       
10
       
10
       
+
       
    # Needed when typing in passwords for full disk encryption

     

       
11
       
11
       
+
       
    console.earlySetup = mkDefault true;

     

       
12
       
12
       
+
       
    boot.loader.systemd-boot.consoleMode = mkDefault "1";

     

       
13
       
13
       
+
       


     

       
14
       
14
       
+
       
    # TODO Find reasonable defaults X11 & wayland

     

       
15
       
15
       
+
       
  };

     

       
16
       
16
       
+
       
}

     

···

       
497
       
497
       
 
       
    $modes =~ m/([0-9]+)x([0-9]+)/;

     

       
498
       
498
       
 
       
    my $console_width = $1, my $console_height = $2;

     

       
499
       
499
       
 
       
    if ($console_width > 1920) {

     

       
500
       
500
       
-
       
        push @attrs, "# High-DPI console";

     

       
501
       
501
       
-
       
        push @attrs, 'console.font = lib.mkDefault "${pkgs.terminus_font}/share/consolefonts/ter-u28n.psf.gz";';

     

       
500
       
500
       
+
       
        push @attrs, "# high-resolution display";

     

       
501
       
501
       
+
       
        push @attrs, 'hardware.video.hidpi.enable = lib.mkDefault true;';

     

       
502
       
502
       
 
       
    }

     

       
503
       
503
       
 
       
}

     

       
504
       
504
       
 
       


     

···

       
72
       
72
       
 
       
  ./hardware/video/capture/mwprocapture.nix

     

       
73
       
73
       
 
       
  ./hardware/video/bumblebee.nix

     

       
74
       
74
       
 
       
  ./hardware/video/displaylink.nix

     

       
75
       
75
       
+
       
  ./hardware/video/hidpi.nix

     

       
75
       
76
       
 
       
  ./hardware/video/nvidia.nix

     

       
76
       
77
       
 
       
  ./hardware/video/uvcvideo/default.nix

     

       
77
       
78
       
 
       
  ./hardware/video/webcam/facetimehd.nix