fixed stel-xps issues

Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>

machine/stel-xps/default.nix

@@ -0,0 +1,11 @@
+{ config, pkgs, ...}:
+{ 
+  networking.hostName = "stel-xps"; # define the hostname
+
+  environment.systemPackages = with pkgs; [
+    brightnessctl
+  ];
+
+  services.autorandr.enable = true;
+  services.xserver.desktopManager.wallpaper.mode = "fill";
+}

machine/stel-xps/hardware-configuration.nix

@@ -0,0 +1,35 @@
+# Do not modify this file!  It was generated by ‘nixos-generate-config’
+# and may be overwritten by future invocations.  Please make changes
+# to /etc/nixos/configuration.nix instead.
+{ config, lib, pkgs, modulesPath, ... }:
+
+{
+  imports =
+    [ (modulesPath + "/installer/scan/not-detected.nix")
+    ];
+
+  boot.initrd.availableKernelModules = [ "xhci_pci" "nvme" "usbhid" "usb_storage" "sd_mod" "rtsx_pci_sdmmc" ];
+  boot.initrd.kernelModules = [ ];
+  boot.kernelModules = [ "kvm-intel" ];
+  boot.extraModulePackages = [ ];
+
+  fileSystems."/" =
+    { device = "/dev/disk/by-uuid/6b7f9f80-af34-4317-b017-f883a2316674";
+      fsType = "ext4";
+    };
+
+  boot.initrd.luks.devices."crypted".device = "/dev/disk/by-uuid/9c84f143-023d-4fcb-a49c-ca78ce69e0e0";
+
+  fileSystems."/boot" =
+    { device = "/dev/disk/by-uuid/4824-2CFD";
+      fsType = "vfat";
+    };
+
+  swapDevices =
+    [ { device = "/dev/disk/by-uuid/93381a25-6704-408e-b091-cfda6cddbda0"; }
+    ];
+
+  powerManagement.cpuFreqGovernor = lib.mkDefault "powersave";
+  # high-resolution display
+  hardware.video.hidpi.enable = lib.mkDefault true;
+}

machine/stel-xps/printer.nix

@@ -0,0 +1,87 @@
+{ config, pkgs, ...}:
+
+let
+  ppd-local = pkgs.stdenv.mkDerivation rec {
+    pname = "local-ppds";
+    version = "2021-07-04";
+
+    src = ./ppds;
+
+    phases = [ "unpackPhase" "installPhase" ];
+
+    installPhase = ''
+    mkdir -p $out/share/cups/model/
+    cp -R Ricoh $out/share/cups/model
+  '';
+  };
+in
+{
+  services.printing.drivers = with pkgs; [
+    foomatic-filters
+    gutenprint
+    hplip
+  ] ++ [
+    ppd-local
+  ];
+  
+  hardware.printers.ensurePrinters = [
+    {
+      name = "hpm605";
+      location = "APB/3014";
+      description = "HP Laserjet Enterprise M605DN";
+      deviceUri = "hp:/net/HP_LaserJet_M605?hostname=hpm605.tcs.inf.tu-dresden.de";
+      model = "HP/hp-laserjet_m604_m605_m606-ps.ppd.gz";
+      ppdOptions = {
+        Collate = "True";
+        HPOption_Duplexer = "True";
+        HPOption_Tray4 = "HP500SheetInputTray";
+        HPOption_Tray3 = "HP500SheetInputTray";
+        MediaType = "Recycled";
+        Duplex = "DuplexNoTumble";
+      };
+    }
+    {
+      name = "A4";
+      location = "APB/3014";
+      description = "HP Laserjet 9040";
+      deviceUri = "socket://a4.tcs.inf.tu-dresden.de";
+      model = "HP/hp-laserjet_9040-ps.ppd.gz";
+      ppdOptions = {
+        PageSize = "A4";
+        HPOption_Tray1 = "True";
+        HPOption_Duplexer = "True";
+        InstalledMemory = "128-255MB";
+        MediaType = "Plain";
+        Duplex = "DuplexNoTumble";
+        Collate = "True";
+      };
+    }
+    {
+      name = "ricoh";
+      location = "APB/3014";
+      description = "Ricoh SP 4510DN";
+      deviceUri = "socket://ricoh.tcs.inf.tu-dresden.de";
+      model = "Ricoh/ricoh-sp-4510dn.ppd";
+      ppdOptions = {
+        OptionTray = "2Cassette";
+        PageSize = "A4";
+        InputSlot = "3Tray";
+        Duplex = "none";
+        RIPaperPolicy = "NearestSizeAdjust";
+        pdftops-render-default = "pdftocairo";
+      };
+    }
+    {
+      name = "ricohcolor";
+      location = "APB/3014";
+      description = "Ricoh Alficio MP C307";
+      deviceUri = "socket://color.tcs.inf.tu-dresden.de";
+      model = "Ricoh/ricoh-mp-c307.ppd";
+      ppdOptions = {
+        media = "A4";
+        OptionTray = "1Cassette";
+        RIPostScript = "Adobe";
+      };
+    }
+  ];
+}