* //users/wpcarro/avaSystem: disable hidpi Recent changes have made nixpkgs adopt the position that hidpi optimization can't be done generically and at the very least needs to know a specific DPI number to optimize for. In addition to knowledge of the display(s) in question (i.e. wpcarro needs to do this) the issue <https://github.com/NixOS/nixpkgs/issues/222805> can give guidance as to how to restore the desired hidpi look and feel. Change-Id: Ia4b079a06dcb710050619f350cd0655216b4a42f Reviewed-on: https://cl.tvl.fyi/c/depot/+/8345 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: wpcarro <wpcarro@gmail.com> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
		
			
				
	
	
		
			53 lines
		
	
	
	
		
			1.4 KiB
		
	
	
	
		
			Nix
		
	
	
	
	
	
			
		
		
	
	
			53 lines
		
	
	
	
		
			1.4 KiB
		
	
	
	
		
			Nix
		
	
	
	
	
	
| # I tried looking up the manufacturer, product name, and version, but
 | |
| # `dmidecode -t system` reported "To be filled by O.E.M." for each of these
 | |
| # fields.
 | |
| { config, lib, pkgs, modulesPath, ... }:
 | |
| 
 | |
| {
 | |
|   imports = [
 | |
|     (modulesPath + "/installer/scan/not-detected.nix")
 | |
|   ];
 | |
| 
 | |
|   fileSystems."/" = {
 | |
|     device = "/dev/disk/by-label/NIXROOT";
 | |
|     fsType = "ext4";
 | |
|   };
 | |
| 
 | |
|   fileSystems."/boot" = {
 | |
|     device = "/dev/disk/by-label/NIXBOOT";
 | |
|     fsType = "vfat";
 | |
|   };
 | |
| 
 | |
|   boot = {
 | |
|     initrd.availableKernelModules = [
 | |
|       "xhci_pci"
 | |
|       "ehci_pci"
 | |
|       "ahci"
 | |
|       "usb_storage"
 | |
|       "usbhid"
 | |
|       "sd_mod"
 | |
|     ];
 | |
|     initrd.kernelModules = [ ];
 | |
|     kernelModules = [ "kvm-intel" ];
 | |
|     extraModulePackages = [ ];
 | |
| 
 | |
|     # Can verify these settings with:
 | |
|     # $ lsmod
 | |
|     # ...or:
 | |
|     # $ cat /etc/modprobe.d/nixos.conf
 | |
|     blacklistedKernelModules = [
 | |
|       # Disabling this buggy network driver (and preferring ethernet) to prevent
 | |
|       # my machine from becoming unresponsive.
 | |
|       # TODO(wpcarro): Consider replacing this module with this fork (if NixOS
 | |
|       # isn't already): https://github.com/tomaspinho/rtl8821ce
 | |
|       "rtw88_8821ce"
 | |
|     ];
 | |
|   };
 | |
| 
 | |
|   swapDevices = [ ];
 | |
| 
 | |
|   hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
 | |
|   # TODO(wpcarro): https://github.com/NixOS/nixpkgs/issues/222805
 | |
|   # high-resolution display
 | |
|   # hardware.video.hidpi.enable = lib.mkDefault true;
 | |
| }
 |