Browse Source

Increase the default font DPI size

main
parent
commit
aa6991fb1b
Signed by: chris GPG Key ID: 3025DCBD46F81C0F
  1. 3
      README.org
  2. 2
      hosts/acernitro/hardware.nix

3
README.org

@ -329,6 +329,7 @@ This configuration is nearly identical to the default, except for a few key diff
*** Hardware *** Hardware
+ Override the default =DPI=
+ Enables sound via PulseAudio + Enables sound via PulseAudio
+ Adds support for the NVIDIA Hybrid GPU + Adds support for the NVIDIA Hybrid GPU
@ -350,6 +351,8 @@ This configuration is nearly identical to the default, except for a few key diff
hardware.pulseaudio.enable = true; hardware.pulseaudio.enable = true;
hardware.pulseaudio.support32Bit = true; hardware.pulseaudio.support32Bit = true;
services.xserver.dpi = 96;
fileSystems."/" = fileSystems."/" =
{ device = "/dev/disk/by-uuid/2f548eb9-47ce-4280-950f-9c6d1d162852"; { device = "/dev/disk/by-uuid/2f548eb9-47ce-4280-950f-9c6d1d162852";
fsType = "ext4"; fsType = "ext4";

2
hosts/acernitro/hardware.nix

@ -15,6 +15,8 @@
hardware.pulseaudio.enable = true; hardware.pulseaudio.enable = true;
hardware.pulseaudio.support32Bit = true; hardware.pulseaudio.support32Bit = true;
services.xserver.dpi = 96;
fileSystems."/" = fileSystems."/" =
{ device = "/dev/disk/by-uuid/2f548eb9-47ce-4280-950f-9c6d1d162852"; { device = "/dev/disk/by-uuid/2f548eb9-47ce-4280-950f-9c6d1d162852";
fsType = "ext4"; fsType = "ext4";

Loading…
Cancel
Save