{ config, pkgs, ... }:

{
  networking.hostName = "p330";
  boot.loader.grub.enableCryptodisk = true;

  services.xserver = {
    videoDrivers = [ "intel" ];
    dpi = 144;
    xrandrHeads = [
      {
        output = "DP2";
        primary = true;
        monitorConfig = ''
          Option  "Position"   "0 790"
        '';
      }
      {
        output = "DP3";
        monitorConfig = ''
          Option  "Position"   "3840 0"
          Option  "Rotate"     "right"
        '';
      }
    ];
  };
}