hippocampus: webdav user shell

machines/hippocampus/configuration.nix

@@ -46,6 +46,9 @@
     options = "--delete-older-than 30d";
   };
   nix.settings.auto-optimise-store = true;
+  nix.settings.trusted-users = [
+    "server"
+  ];
   
   # Bootloader.
   boot.loader.systemd-boot.enable = true;

machines/hippocampus/servers/public/hydra.nix

@@ -40,7 +40,7 @@ in {
         "riscv64-linux"
       ];
       supportedFeatures = ["kvm" "nixos-test" "big-parallel" "benchmark"];
-      maxJobs = 8;
+      maxJobs = 16;
     }
   ];
   services.caddy.virtualHosts = {

machines/hippocampus/servers/public/webdav.nix

@@ -1,4 +1,7 @@
 { config, pkgs, lib, ... }: {
+  users.users.webdav = {
+    shell = pkgs.bashInteractive;
+  };
   sops.secrets.webdav = {
     owner = config.services.webdav.user;
   };